Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
language
|
| gptkbp:developedBy |
gptkb:Robin_Milner
|
| gptkbp:features |
Immutable Data Structures
Pattern Matching Type Inference |
| gptkbp:firstAppearance |
1970s
|
| gptkbp:handles |
Pattern Matching
Exceptions |
| gptkbp:hasGoals |
gptkb:Haskell
Lisp |
| gptkbp:hasLibrary |
F# Core Library
OCaml Standard Library ML_Basis_Library |
| gptkbp:hasOccupation |
OCaml Community
F#_Community Standard_ML_Community |
| gptkbp:hasPerformance |
Garbage Collection
Tail Call Optimization Efficient_Memory_Management |
| gptkbp:hasPublicTransport |
gptkb:SML/NJ
gptkb:MLton F#_Interactive |
| gptkbp:hasType |
Strongly Typed
Type Polymorphism Static_Type_System |
| https://www.w3.org/2000/01/rdf-schema#label |
ML Family of Languages
|
| gptkbp:includes |
OCaml
F# Standard ML |
| gptkbp:influenced |
gptkb:Haskell
|
| gptkbp:influencedBy |
LISP
|
| gptkbp:isCompatibleWith |
JavaScript
.NET Framework C Language |
| gptkbp:isKnownFor |
Robustness
Expressive Type System Strong Abstraction Capabilities Concise_Syntax |
| gptkbp:isPopularIn |
Academia
Industry |
| gptkbp:isTaughtIn |
Computer Science Courses
|
| gptkbp:isUsedFor |
Artificial Intelligence
Data Analysis Web Development Compiler Construction |
| gptkbp:philosophy |
Functional_Programming
|
| gptkbp:supports |
Concurrency
Higher-Order Functions Modules |
| gptkbp:usedIn |
Industry Applications
Academic_Research |