Statements (52)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Library
|
| gptkbp:designed_for |
Standard ML programming language
|
| gptkbp:developed_by |
Standard ML community
|
| gptkbp:first_released |
gptkb:1997
|
| gptkbp:has |
gptkb:Documentation
|
| https://www.w3.org/2000/01/rdf-schema#label |
Standard ML Basis Library
|
| gptkbp:is_available_on |
gptkb:multiple_platforms
|
| gptkbp:is_compatible_with |
ML family of languages
|
| gptkbp:is_influenced_by |
gptkb:OCaml
gptkb:Haskell gptkb:Lisp |
| gptkbp:is_known_for |
high-level abstractions
modularity performance optimization techniques polymorphism type inference pattern matching interoperability with C lazy evaluation first-class functions exception handling mechanisms functional programming features strong type system immutable data structures rich set of libraries |
| gptkbp:is_maintained_by |
MLton project
|
| gptkbp:is_open_source |
gptkb:true
|
| gptkbp:is_part_of |
gptkb:Standard_ML
Standard ML environment |
| gptkbp:is_used_in |
gptkb:academic_research
gptkb:Software_Development functional programming compiler construction teaching programming languages |
| gptkbp:provides |
gptkb:Mathematics
gptkb:Command_Line_Interface gptkb:random_number_generation data structures exception handling file handling functions input/output functions string manipulation functions threading support array manipulation functions time and date functions list manipulation functions network programming functions system interaction functions |
| gptkbp:supports |
modular programming
|
| gptkbp:written_in |
gptkb:Standard_ML
|
| gptkbp:bfsParent |
gptkb:Standard_ML
|
| gptkbp:bfsLayer |
5
|