statically typed programming language
C2128
concept
A statically typed programming language is one in which variable types are checked and fixed at compile time rather than at runtime.
All labels observed (4)
| Label | Occurrences |
|---|---|
| statically typed programming language canonical | 13 |
| statically typed language | 3 |
| TypeScript-based framework | 1 |
| static type system | 1 |
Description generation (CDg)
The one-sentence description above was generated by prompting gpt-5.1 with the class name and this instruction.
Instruction
generate a one-sentence description for a given conceptual class. # Response Format Return only the sentence: "Description: [one-sentence description of the conceptional class]"
Input
Class: statically typed programming language
Generated description
A statically typed programming language is one in which variable types are checked and fixed at compile time rather than at runtime.
Instances (18)
| Instance | Via concept surface |
|---|---|
|
Hack (programming language)
surface form:
Hack
|
— |
| ML | — |
| OCaml | statically typed language |
| Kotlin | statically typed language |
| Oberon | — |
| Go | — |
| Hack | — |
| Standard ML | — |
| Hindley–Milner type system | static type system |
| Elm | — |
| Crystal | — |
| Angular | TypeScript-based framework |
| D | statically typed language |
| Scala | — |
| Oberon-2 | — |
| Ada | — |
| Ada (programming language) | — |
| Haskell | — |