F# type system

GPTKB entity

Statements (29)
Predicate Object
gptkbp:instanceOf type system
gptkbp:enables type providers
gptkbp:enforcedBy type safety
gptkbp:heldBy strongly typed
statically typed
https://www.w3.org/2000/01/rdf-schema#label F# type system
gptkbp:influencedBy gptkb:OCaml_type_system
ML type system
gptkbp:integratesWith gptkb:.NET_type_system
gptkbp:provides tuples
value types
record types
reference types
option types
discriminated unions
mutable types
gptkbp:supports object-oriented programming
functional programming
type inference
generics
algebraic data types
pattern matching
units of measure
nominal typing (for classes and interfaces)
structural typing (for records and tuples)
gptkbp:usedBy gptkb:F#
gptkbp:bfsParent gptkb:System_F
gptkb:system_F
gptkbp:bfsLayer 6