Statements (57)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Library
|
| gptkbp:designed_for |
Standard ML programming language
|
| https://www.w3.org/2000/01/rdf-schema#label |
The Standard ML Basis
|
| gptkbp:includes |
gptkb:Mathematics
data structures exception handling input/output functions string manipulation functions |
| gptkbp:is_available_in |
open-source implementations
|
| gptkbp:is_compatible_with |
ML family of languages
|
| gptkbp:is_designed_to |
enhance readability
promote code reuse facilitate modular programming support abstraction |
| gptkbp:is_documented_in |
tutorials
academic papers official documentation books on functional programming |
| gptkbp:is_implemented_in |
various Standard ML compilers
|
| gptkbp:is_influenced_by |
gptkb:Lisp
gptkb:political_theory functional programming principles ML language family |
| gptkbp:is_known_for |
gptkb:Command_Line_Interface
higher-order functions type inference pattern matching lazy evaluation first-class functions strong type system immutable data structures tail recursion optimization |
| gptkbp:is_maintained_by |
Standard ML community
|
| gptkbp:is_part_of |
gptkb:ML_Kit
gptkb:MLton_compiler SML/ NJ compiler Standard ML programming environment |
| gptkbp:is_related_to |
gptkb:OCaml
gptkb:Haskell gptkb:F# gptkb:Scala |
| gptkbp:is_supported_by |
academic institutions
research projects online communities |
| gptkbp:is_used_for |
formal verification
data analysis system programming compiler construction algorithm implementation |
| gptkbp:is_used_in |
gptkb:academic_research
gptkb:Software_Development teaching programming concepts |
| gptkbp:provides |
modules
standard libraries |
| gptkbp:supports |
functional programming
|
| gptkbp:bfsParent |
gptkb:Standard_ML
|
| gptkbp:bfsLayer |
5
|