Typed ReasonML

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:basedOn gptkb:ReasonML
gptkbp:designedFor type safety
gptkbp:hasFeature type inference
algebraic data types
pattern matching
gptkbp:hasType static typing
https://www.w3.org/2000/01/rdf-schema#label Typed ReasonML
gptkbp:influencedBy gptkb:OCaml
gptkbp:usedFor web development
JavaScript interoperability
gptkbp:bfsParent gptkb:system_F
gptkbp:bfsLayer 6