Standard ML

GPTKB entity

Statements (52)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:designedBy gptkb:Robin_Milner
gptkbp:documentation gptkb:The_Definition_of_Standard_ML
gptkb:The_Standard_ML_Basis_Library
gptkbp:domain education
research
compiler construction
gptkbp:fileExtension .fun
.sig
.sml
gptkbp:firstAppearance 1984
gptkbp:hasFeature garbage collection
recursion
modules
type inference
first-class functions
lexical scoping
algebraic data types
higher-order functions
parametric polymorphism
pattern matching
immutable data structures
exceptions
side effects
https://www.w3.org/2000/01/rdf-schema#label Standard ML
gptkbp:implementedIn gptkb:MLton
gptkb:SML/NJ
gptkb:HaMLet
gptkb:Moscow_ML
gptkb:Poly/ML
gptkbp:influenced gptkb:Elm
gptkb:F#
gptkb:Haskell
gptkb:OCaml
gptkb:Idris
gptkb:Rust
gptkb:Scala
gptkbp:influencedBy gptkb:Lisp
gptkb:ALGOL
gptkb:ISWIM
ML
gptkbp:ISOStandard gptkb:ISO/IEC_15910:1999
gptkbp:paradigm functional programming
imperative programming
gptkbp:standardizedBy gptkb:SML97
gptkbp:typingDiscipline type inference
static typing
strong typing
gptkbp:website https://smlfamily.github.io/
gptkbp:bfsParent gptkb:OCaml
gptkb:Robert_Harper
gptkbp:bfsLayer 5