Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme
Browse By

Statically Typed

This dimension groups programming languages by their typing discipline, statically typed, dynamically typed or untyped. Wikipedia notes that a programming language is meant for "expressing computer programs, typically allowing software to be written in a human readable manner," and how it tracks data types is one of its most basic design choices. Browsing by typing discipline keeps languages that handle types the same way grouped together.

Statically Typed
Filter Results83 entries

ABAP

Statically Typed

Ada

Statically Typed

Agda

Statically Typed

Alef (programming language)

Statically Typed

ALGOL

Statically Typed

ALGOL 58

Statically Typed

ALGOL 60

Statically Typed

ALGOL 68

Statically Typed

ALGOL W

Statically Typed

Ballerina (programming language)

Statically Typed

Boo (programming language)

Statically Typed

C

Statically Typed

C with Classes

Statically Typed

C++

Statically Typed

Caml

Statically Typed

Carbon

Statically Typed

Chapel

Statically Typed

Cilk

Statically Typed

COBOL

Statically Typed

CORAL 66

Statically Typed

Crystal

Statically Typed

Curry (programming language)

Statically Typed

D

Statically Typed

Dafny

Statically Typed

Dart

Statically Typed

Eiffel

Statically Typed

Elm

Statically Typed

F (programming language)

Statically Typed

F#

Statically Typed

Fortran

Statically Typed

Fortress (programming language)

Statically Typed

FreeBASIC

Statically Typed

Futhark (programming language)

Statically Typed

Gleam (programming language)

Statically Typed

Go

Statically Typed

Gosu (programming language)

Statically Typed

Groovy

Statically Typed

Haskell

Statically Typed

Haxe

Statically Typed

IBM RPG

Statically Typed

Idris

Statically Typed

JADE (programming language)

Statically Typed

Java

Statically Typed

JOVIAL

Statically Typed

JS++

Statically Typed

Kotlin

Statically Typed

Lean (proof assistant)

Statically Typed

MAD (Michigan Algorithm Decoder)

Statically Typed

Mercury

Statically Typed

Mesa (programming language)

Statically Typed

Miranda

Statically Typed

ML (programming language)

Statically Typed

Modula

Statically Typed

Modula-2

Statically Typed

Modula-3

Statically Typed

NELIAC

Statically Typed

Nemerle

Statically Typed

Nim

Statically Typed

Oberon

Statically Typed

Object Pascal

Statically Typed

Objective-C

Statically Typed

OCaml

Statically Typed

Pascal

Statically Typed

Pony (programming language)

Statically Typed

PureScript

Statically Typed

ReasonML

Statically Typed

RPG

Statically Typed

Rust

Statically Typed

Scala

Statically Typed

Simula

Statically Typed

Solidity

Statically Typed

SQL

Statically Typed

Standard ML

Statically Typed

Swift

Statically Typed

SystemVerilog

Statically Typed

Turing (programming language)

Statically Typed

V (programming language)

Statically Typed

Vala (programming language)

Statically Typed

Verilog

Statically Typed

Visual Prolog

Statically Typed

X10 (programming language)

Statically Typed

XQuery

Statically Typed

Zig

Statically Typed
Sources
Wikipedia: Rust (programming language)
Wikimedia FoundationContains: Rust, IntroductionView the Source
Wikipedia: Go (programming language)
Wikimedia FoundationContains: Go, IntroductionView the Source
Wikipedia: Perl
Wikimedia FoundationContains: Perl, IntroductionView the Source
Wikipedia: Assembly language
WikipediaContains: Assembly Language, IntroductionView the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.