Computing Atlas

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

Strongly 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.

Strongly Typed
Filter Results100 entries

A+ (programming language)

Strongly Typed

ABAP

Strongly Typed

ABC (programming language)

Strongly Typed

Ada

Strongly Typed

Agda

Strongly Typed

Alef (programming language)

Strongly Typed

ALGOL

Strongly Typed

ALGOL 58

Strongly Typed

ALGOL 60

Strongly Typed

ALGOL 68

Strongly Typed

ALGOL W

Strongly Typed

Ballerina (programming language)

Strongly Typed

Boo (programming language)

Strongly Typed

C with Classes

Strongly Typed

C#

Strongly Typed

Caml

Strongly Typed

Clojure

Strongly Typed

CLU (programming language)

Strongly Typed

COMAL

Strongly Typed

Common Lisp

Strongly Typed

CORAL 66

Strongly Typed

Curry (programming language)

Strongly Typed

D

Strongly Typed

Dafny

Strongly Typed

Dart

Strongly Typed

Dylan (programming language)

Strongly Typed

E (programming language)

Strongly Typed

Elixir

Strongly Typed

Elm

Strongly Typed

Emacs Lisp

Strongly Typed

Erlang

Strongly Typed

F#

Strongly Typed

Factor (programming language)

Strongly Typed

Fortran

Strongly Typed

FreeBASIC

Strongly Typed

Futhark (programming language)

Strongly Typed

Gleam (programming language)

Strongly Typed

Go

Strongly Typed

Gosu (programming language)

Strongly Typed

Groovy

Strongly Typed

Haskell

Strongly Typed

IBM RPG

Strongly Typed

Io (programming language)

Strongly Typed

JADE (programming language)

Strongly Typed

Java

Strongly Typed

JOVIAL

Strongly Typed

Joy (programming language)

Strongly Typed

JSON

Strongly Typed

Julia

Strongly Typed

K

Strongly Typed

Kotlin

Strongly Typed

Lean (proof assistant)

Strongly Typed

LFE (programming language)

Strongly Typed

Limbo (programming language)

Strongly Typed

Lisp

Strongly Typed

Lua

Strongly Typed

MAD (Michigan Algorithm Decoder)

Strongly Typed

Mercury

Strongly Typed

Mesa (programming language)

Strongly Typed

Miranda

Strongly Typed

ML (programming language)

Strongly Typed

Modula

Strongly Typed

Modula-2

Strongly Typed

Modula-3

Strongly Typed

NELIAC

Strongly Typed

Nemerle

Strongly Typed

NetLogo

Strongly Typed

Newsqueak

Strongly Typed

Nim

Strongly Typed

Oberon

Strongly Typed

Object Pascal

Strongly Typed

OCaml

Strongly Typed

Pascal

Strongly Typed

PL/I

Strongly Typed

Pony (programming language)

Strongly Typed

PowerShell

Strongly Typed

PureScript

Strongly Typed

Racket

Strongly Typed

Raku

Strongly Typed

ReasonML

Strongly Typed

Rebol

Strongly Typed

Refal

Strongly Typed

RPG

Strongly Typed

Rust

Strongly Typed

S (programming language)

Strongly Typed

Scala

Strongly Typed

Scheme

Strongly Typed

Self

Strongly Typed

Smalltalk

Strongly Typed

SQL

Strongly Typed

Standard ML

Strongly Typed

StarLogo

Strongly Typed

Swift

Strongly Typed

Vala (programming language)

Strongly Typed

VHDL

Strongly Typed

Visual Prolog

Strongly Typed

Wolfram Language

Strongly Typed

X10 (programming language)

Strongly Typed

XQuery

Strongly Typed

Zig

Strongly 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.