typingDiscipline
P4115
predicate
Indicates how a programming language enforces and manages type rules for its values and expressions.
Sample triples (109)
| Subject | Object |
|---|---|
| JScript .NET | optional static typing ⓘ |
| Java | safe typing ⓘ |
| Java | static typing ⓘ |
| Java | strong typing ⓘ |
| JavaScript | duck typing ⓘ |
| JavaScript | dynamic typing ⓘ |
| JavaScript | weak typing ⓘ |
| Julia | dynamic typing ⓘ |
| Julia | optional type annotations ⓘ |
| Julia | strong typing ⓘ |
| Kotlin | static typing ⓘ |
| Kotlin | strong typing ⓘ |
|
Lisp programming language
surface form:
Lisp
|
dynamic typing ⓘ |
| Lua | duck typing ⓘ |
| Lua | dynamic typing ⓘ |
|
Mesa
surface form:
Mesa (programming language)
|
static ⓘ |
|
Mesa
surface form:
Mesa (programming language)
|
strong ⓘ |
| Modula-2 | static typing ⓘ |
| Modula-2 | strong typing ⓘ |
| Newsqueak | static typing ⓘ |
| Oberon | static ⓘ |
| Oberon | strong ⓘ |
| Oberon-2 | static typing ⓘ |
| Oberon-2 | strong typing ⓘ |
| Objective-C | dynamic ⓘ |
| Objective-C | static ⓘ |
| PHP | dynamic typing ⓘ |
| PHP | gradual typing (since PHP 7) ⓘ |
| Pascal | static typing ⓘ |
| Pascal | strong typing ⓘ |
| Perl | duck typing ⓘ |
| Perl | dynamic typing ⓘ |
| Python | duck typing ⓘ |
| Python | dynamic typing ⓘ |
| R | dynamic typing ⓘ |
| Ruby | duck typing ⓘ |
| Ruby | dynamic typing ⓘ |
| Rust | inferred typing ⓘ |
| Rust | static typing ⓘ |
| Rust | strong typing ⓘ |
| SETL | dynamically typed ⓘ |
| Scala | static typing ⓘ |
| Scala | strong typing ⓘ |
| Scala | type inference ⓘ |
| Scheme | dynamic typing ⓘ |
| Smalltalk | dynamic typing ⓘ |
|
Swift
surface form:
Swift (programming language)
|
static typing ⓘ |
|
Swift
surface form:
Swift (programming language)
|
strong typing ⓘ |
|
Swift
surface form:
Swift (programming language)
|
type inference ⓘ |
|
TypeScript programming language
surface form:
TypeScript
|
gradual typing ⓘ |