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 |
|---|---|
| Not eXactly C | static typing ⓘ |
| Tool Command Language | dynamic typing ⓘ |
| BLISS | weak typing ⓘ |
| BLISS | static typing ⓘ |
|
Cecil programming language
surface form:
Cecil
|
optional static typing ⓘ |
|
Cecil programming language
surface form:
Cecil
|
dynamic typing ⓘ |
| BASIC-PLUS | dynamic typing ⓘ |
| Ada | static typing ⓘ |
| Ada | strong typing ⓘ |
| Commodore BASIC | dynamic typing ⓘ |
| QBasic | static typing ⓘ |
| Python 3.9 | duck typing ⓘ |
| Python 3.9 | gradual typing ⓘ |
| Python 3.9 | dynamic typing ⓘ |
|
Ruby programming language
surface form:
Ruby
|
dynamic typing ⓘ |
|
Ruby programming language
surface form:
Ruby
|
duck typing ⓘ |
| Python 3.x | duck typing ⓘ |
| Python 3.x | dynamic typing ⓘ |
| Python 3.x | gradual typing ⓘ |
| MDL | dynamic ⓘ |
| ClojureScript | dynamic typing ⓘ |
| POP2 | dynamic typing ⓘ |