Statements (194)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:language
|
| gptkbp:bfsLayer |
3
|
| gptkbp:bfsParent |
gptkb:language
|
| gptkbp:album |
bytecode
native code |
| gptkbp:controls |
gptkb:Hindley-Milner_type_system
strongly typed type inference |
| gptkbp:designed_by |
gptkb:Robin_Milner
|
| gptkbp:features |
gptkb:Author
exception handling polymorphism pattern matching lazy evaluation first-class functions immutable data structures |
| gptkbp:first_appearance |
gptkb:1984
1970s |
| gptkbp:formulation |
ML syntax
|
| gptkbp:has |
gptkb:Author
gptkb:Educational_Institution gptkb:archive gptkb:document libraries research papers tutorials arrays syntax community support conferences data analysis tools data visualization tools debugging tools development tools error handling mechanisms exception handling higher-order functions online forums polymorphism security features testing frameworks virtual machines performance characteristics semantics memory management records strings type safety user groups IDE support pattern matching data abstraction build systems data processing libraries data processing tools profiling tools streams deployment tools data integration tools data governance tools data quality tools data transformation tools open-source implementations tail recursion interoperability with C lazy evaluation first-class functions functors compiler optimizations concurrency support tuples data analysis support data visualization libraries data compliance tools data enrichment tools data privacy tools version control support web services support data security tools microservices support network programming support containerization support data retrieval tools package management tools interoperability with other languages game development support continuous integration support data manipulation tools parallel programming support cloud computing support machine learning support commercial implementations AI support runtime systems immutable data structures data ethics tools data analysis libraries data compliance libraries data compliance support data governance libraries data governance support data integration libraries data integration support data modeling support data privacy libraries data privacy support data retrieval libraries data retrieval support data security libraries data security support data transformation libraries data transformation support data visualization support data warehousing support type constructors data interoperability tools data accessibility tools embedded systems support graphics programming support web programming support type annotations data storage tools data mining support data quality support data science support interoperability with Java interoperability with C++ code generation techniques data serialization support module signatures data manipulation libraries API development support data accessibility libraries data accessibility support data catalog support data enrichment libraries data enrichment support data ethics libraries data ethics support data interoperability libraries data interoperability support data lineage support data manipulation support data processing support data quality libraries data storage libraries data storage support data sustainability libraries data sustainability support data sustainability tools distributed programming support interoperability with Python mutable arrays ref cells system programming support |
| gptkbp:has_community |
Haskell community
Functional programming community M Lton community SML/ NJ community O Caml community Standard ML community |
| gptkbp:has_expansion |
gptkb:ML_Basis_Library
|
| gptkbp:has_method |
SML syntax
|
| https://www.w3.org/2000/01/rdf-schema#label |
Standard ML
|
| gptkbp:influenced_by |
gptkb:ML
ML family |
| gptkbp:is_standardized_by |
gptkb:The_Standard_ML_Basis_Library
gptkb:The_Standard_ML_Basis |
| gptkbp:is_used_in |
gptkb:software_framework
formal verification algorithm design research projects teaching programming concepts compiler design software engineering academic courses programming competitions |
| gptkbp:library |
gptkb:Standard_ML_Basis_Library
gptkb:SML/_NJ_Library M Lton Library |
| gptkbp:philosophy |
functional programming
|
| gptkbp:related_to |
gptkb:sports_team
gptkb:F# gptkb:Library |
| gptkbp:supports |
concurrent programming
modular programming object-oriented programming type inference |
| gptkbp:technique |
gptkb:superhero
gptkb:SML/_NJ gptkb:Standard_ML_of_New_Jersey |
| gptkbp:used_in |
gptkb:academic_research
compiler construction teaching programming languages |