one-ml ☆
« Back to VersTracker
Description:
Reboot of ML, unifying its core and (now first-class) module layers
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: programming-language ml research functional modules
Install: brew install one-ml
About:
OneML is a research language that reboots ML by unifying its core and module layers into a single, coherent system. It treats modules as first-class citizens, allowing them to be passed as arguments, returned from functions, and composed dynamically. This approach aims to simplify complex software engineering by eliminating the traditional separation between the core language and the module system.
Key Features:
  • First-class modules
  • Unified core and module language
  • Higher-order module system
  • Functional and polymorphic type system
Use Cases:
  • Exploring advanced module system design
  • Prototyping large-scale software architectures
  • Academic research in programming language theory
Alternatives:
  • OCaml – Standard ML-family language with a separate, non-first-class module system
  • Standard ML – The historical basis for ML, lacking OneML's unified module approach
Version History
Detected Version Rev Change Commit
Sep 16, 2025 9:06am 2 VERSION_BUMP deb5d5d6
« Back to VersTracker  |  Browse Packages  |  About