typingDiscipline

P4115

predicate

Indicates how a programming language enforces and manages type rules for its values and expressions.

Try in SPARQL

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
ALGOL	static typing ⓘ
Martin Richards surface form: BCPL	untyped ⓘ
SETL2	dynamic typing ⓘ
Pharo Smalltalk	dynamically typed ⓘ
VisualWorks	dynamic ⓘ
Clojure	dynamic typing ⓘ
FLOW-MATIC programming language surface form: FLOW-MATIC	static typing (record-oriented) ⓘ
Pizza programming language surface form: Pizza (programming language)	static typing ⓘ
Pizza programming language surface form: Pizza (programming language)	strong typing ⓘ
Kotlin DSL	statically typed ⓘ
Beta (programming language)	statically typed via predicate surface "hasTypingDiscipline" ⓘ
Eiffel programming language surface form: Eiffel (programming language)	static ⓘ
Eiffel programming language surface form: Eiffel (programming language)	strong ⓘ
Solidity	statically typed ⓘ
Forth	dynamic typing ⓘ
occam programming language	static typing ⓘ
occam programming language	strong typing ⓘ
Prolog	dynamically typed ⓘ
Limbo programming language surface form: Limbo	static typing ⓘ
Limbo programming language surface form: Limbo	strong typing ⓘ
S programming language	dynamic typing ⓘ
Raku	gradual typing ⓘ
Raku	static typing ⓘ
Raku	dynamic typing ⓘ
Practical Extraction and Report Language	dynamic typing ⓘ
Practical Extraction and Report Language	duck typing ⓘ
Hope programming language surface form: Hope	static typing ⓘ
Hope programming language surface form: Hope	strong typing ⓘ
Idris	static typing ⓘ
Idris	strong typing ⓘ
Idris	dependent typing ⓘ
Modula	static typing ⓘ
Modula	strong typing ⓘ
Moonscript surface form: MoonScript	dynamic typing ⓘ
Arc	dynamic typing ⓘ
NewLISP	dynamic ⓘ
Zetalisp	dynamic typing ⓘ
Odin programming language surface form: Odin	static typing ⓘ
Io (programming language)	dynamically typed ⓘ
Io (programming language)	strongly typed ⓘ
NewtonScript	dynamic ⓘ
Dylan	dynamic typing with optional type declarations ⓘ
Fortress programming language surface form: Fortress	static typing ⓘ
Fortress programming language surface form: Fortress	strong typing ⓘ
Fortress programming language surface form: Fortress	type inference ⓘ
HyperTalk	dynamically typed ⓘ
HyperTalk	weakly typed ⓘ
Lingo	dynamically typed ⓘ
JScript	dynamic typing ⓘ
REXX	dynamic typing ⓘ