statically typed programming language

A statically typed programming language is one in which variable types are checked and fixed at compile time rather than at runtime.

Aliases (2)

• statically typed language ×2
• TypeScript-based framework ×1

Instances (10)

• Kotlin ("statically typed language")
• Oberon
• Go
• Elm
• Angular ("TypeScript-based framework")
• D ("statically typed language")
• Scala
• Oberon-2
• Ada (programming language)
• Haskell