typingDiscipline
P4115
predicate
Indicates how a programming language enforces and manages type rules for its values and expressions.
Sample triples (109)
| Subject | Object |
|---|---|
| ABC programming language | implicit ⓘ |
| ABC programming language | strong ⓘ |
| ALGOL W | static typing ⓘ |
| Ada (programming language) | static typing ⓘ |
| Ada (programming language) | strong typing ⓘ |
| BCPL | typeless ⓘ |
| BCPL | untyped ⓘ |
| C | manifest typing ⓘ |
| C | static typing ⓘ |
| C | weak typing ⓘ |
|
C# programming language
surface form:
C#
|
partially unsafe (via unsafe code) ⓘ |
|
C# programming language
surface form:
C#
|
safe ⓘ |
|
C# programming language
surface form:
C#
|
static typing ⓘ |
|
C# programming language
surface form:
C#
|
strong typing ⓘ |
| C++ | nominal typing ⓘ |
| C++ | partially inferred typing ⓘ |
| C++ | static typing ⓘ |
| CoffeeScript | dynamic typing ⓘ |
| Cyclone | safe typing ⓘ |
| Cyclone | static typing ⓘ |
| D | static typing ⓘ |
| D | strong typing ⓘ |
| Dart | optional typing ⓘ |
| Dart | sound static typing ⓘ |
| Dart | strong typing ⓘ |
|
Delphi (programming language)
surface form:
Delphi
|
safe typing ⓘ |
|
Delphi (programming language)
surface form:
Delphi
|
static typing ⓘ |
|
Delphi (programming language)
surface form:
Delphi
|
strong typing ⓘ |
| Eiffel | manifest typing ⓘ |
| Eiffel | safe typing ⓘ |
| Eiffel | static typing ⓘ |
| Eiffel | strong typing ⓘ |
| Elixir | dynamic typing ⓘ |
| Elixir | strong typing ⓘ |
|
Emacs Lisp (for GNU Emacs environment)
surface form:
Emacs Lisp
|
dynamic typing ⓘ |
| Erlang | dynamic typing ⓘ |
| Erlang | strong typing ⓘ |
| F# | inferred ⓘ |
| F# | static ⓘ |
| F# | strong ⓘ |
| Fortran | static typing ⓘ |
| Fortran | strong typing ⓘ |
| Go | static typing ⓘ |
| Go | strong typing ⓘ |
| Groovy | dynamic typing ⓘ |
| Groovy | optional static typing ⓘ |
| Haskell | inferred ⓘ |
| Haskell | static ⓘ |
| Haskell | strong ⓘ |
| JScript .NET | dynamic typing ⓘ |