typingDiscipline
P4115
predicate
Indicates how a programming language enforces and manages type rules for its values and expressions.
All labels observed (2)
| Label | Occurrences |
|---|---|
| typingDiscipline canonical | 215 |
| hasTypingDiscipline | 7 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: typingDiscipline
Generated description
Indicates how a programming language enforces and manages type rules for its values and expressions.
Sample triples (222)
| Subject | Object |
|---|---|
| PHP | gradual typing (since PHP 7) ⓘ |
| Modula-2 | static typing ⓘ |
| Modula-2 | strong typing ⓘ |
| Scheme | dynamic typing ⓘ |
| Dart | sound static typing ⓘ |
| Dart | optional typing ⓘ |
| Dart | strong typing ⓘ |
|
Emacs Lisp (for GNU Emacs environment)
surface form:
Emacs Lisp
|
dynamic typing ⓘ |
| Visual Basic .NET | strong ⓘ |
| Visual Basic .NET | static ⓘ |
| Visual Basic .NET | safe ⓘ |
| Visual Basic .NET | partial type inference ⓘ |
| F# | strong ⓘ |
| F# | static ⓘ |
| F# | inferred ⓘ |
| VBScript | dynamic typing ⓘ |
| JScript .NET | dynamic typing ⓘ |
| JScript .NET | optional static typing ⓘ |
| VBA | static ⓘ |
| VBA | strong ⓘ |
| Objective-C | static ⓘ |
| Objective-C | dynamic ⓘ |
| Cyclone | static typing ⓘ |
| Cyclone | safe typing ⓘ |
| BCPL | typeless ⓘ |
| BCPL | untyped ⓘ |
| SETL | dynamically typed ⓘ |
| Fortran | static typing ⓘ |
| Fortran | strong typing ⓘ |
| D | static typing ⓘ |
| D | strong typing ⓘ |
| Smalltalk | dynamic typing ⓘ |
|
Mesa
surface form:
Mesa (programming language)
|
strong ⓘ |
|
Mesa
surface form:
Mesa (programming language)
|
static ⓘ |
| Scala | static typing ⓘ |
| Scala | strong typing ⓘ |
| Scala | type inference ⓘ |
| Groovy | dynamic typing ⓘ |
| Groovy | optional static typing ⓘ |
| Oberon-2 | static typing ⓘ |
| Oberon-2 | strong typing ⓘ |
| R | dynamic typing ⓘ |
|
Lisp programming language
surface form:
Lisp
|
dynamic typing ⓘ |
| Perl | dynamic typing ⓘ |
| Perl | duck typing ⓘ |
| Haskell | static ⓘ |
| Haskell | strong ⓘ |
| Haskell | inferred ⓘ |
| Lua | dynamic typing ⓘ |
| Lua | duck typing ⓘ |