Statements (66)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Library
|
| gptkbp:community |
Active community
|
| gptkbp:developed_by |
MLton Team
|
| gptkbp:features |
Garbage collection
Type inference Whole-program optimization |
| gptkbp:first_edition |
1.0
|
| gptkbp:has_documentation |
Available online
|
| https://www.w3.org/2000/01/rdf-schema#label |
MLton-MLton-basis
|
| gptkbp:latest_version |
2023.10
|
| gptkbp:license |
gptkb:GNU_Lesser_General_Public_License
|
| gptkbp:platform |
Cross-platform
|
| gptkbp:programming_language |
gptkb:Standard_ML
|
| gptkbp:provides |
Standard ML libraries
|
| gptkbp:related_to |
gptkb:MLton_compiler
|
| gptkbp:release_date |
gptkb:2003
|
| gptkbp:repository |
gptkb:Git_Hub
|
| gptkbp:supports |
gptkb:Recursion
gptkb:Modules Object-oriented programming Declarative programming Imperative programming Concurrency Polymorphism Memory management Debugging tools Code generation Pattern matching Asynchronous programming Event-driven programming Exceptions Profiling Cross-compilation Parallelism Immutable data structures Dynamic linking Functors Closures Domain-specific languages First-class functions Higher-order functions Lazy evaluation Type classes Functional reactive programming Static analysis Tail recursion Static linking Meta-programming Threading model Concurrency primitives Interoperability with C Foreign function interface Synchronous programming Type inference algorithms Code optimization techniques Eager evaluation Mutable data structures Runtime performance tuning Type-safe operations MLton runtime |
| gptkbp:usage |
Functional programming
|
| gptkbp:used_in |
Academic research
Industry projects |
| gptkbp:written_in |
gptkb:Standard_ML
|
| gptkbp:bfsParent |
gptkb:Jonin
|
| gptkbp:bfsLayer |
5
|