macOS
Homebrewverified · 100%
brew install one-mllocal Homebrew formula metadata
brew / rank 14034
Install one-ml with Homebrew
Reboot of ML, unifying its core and (now first-class) module layers. Version 0.1 via Homebrew; verified 2026-07-11.
install
Additional install commands
overview
Package summary
Reboot of ML, unifying its core and (now first-class) module layers
Project links
Commands and aliases
- 1ml
history
Project history and usage
1ML is Andreas Rossberg's research reboot of ML that treats first-class modules as the starting point and collapses the traditional split between ML's core language and module language into one small language.
Project history
The 1ML line began as a research language and prototype interpreter tied to Rossberg's work on modules. The project page lists the original ICFP 2015 paper, an extended 2015 version with technical appendix, a 2016 extension with effect and generativity polymorphism, and a revised Journal of Functional Programming article published in 2018.
The GitHub repository describes the code as a 2014 toy interpreter, written mainly to experiment with 1ML type checking. Its README is explicit about the prototype's limits: it is basic, omits many features expected from a real ML, has basic error messages, and implements type checking naively.
Adoption history
1ML's adoption is primarily academic and experimental rather than production-language adoption. Homebrew packages the prototype as one-ml, making the 1ml executable easy to install for people who want to run examples from the papers or inspect the type-system design.
How it is used
Developers use the 1ml executable either as an interactive prompt or against .1ml files, often with the bundled prelude. The practical workflow is exploration: load the prelude, evaluate bindings, inspect type-checking behavior, and compare programs with the examples from the papers.
Why package nerds care
For package nerds, one-ml is a rare packaged research artifact: a runnable slice of programming-language theory where the package is not a general runtime so much as an executable companion to a type-system proposal.
Timeline
- 2014: the prototype interpreter README identifies the code as a 2014 proof-of-concept.
- 2015: Rossberg's 1ML paper appeared at ICFP, with an extended version in the same year.
- 2016: the project page lists 1ML with Special Effects as a WadlerFest extension.
- 2018: the revised and expanded 1ML article appeared in Journal of Functional Programming.
Sources
security posture
Risk level: green
narrow executable package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- narrow executable package without higher-risk signals
Signals
- metadata:no-higher-risk-signals
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 13 platform targets.
- Build metadata lists 1 build dependencies.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
1ml | cli | global executable |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-08-04
manager version0.1
manager updated2026-07-11
local dataok
upstreamnot checked
latest detectednot detected
https://people.mpi-sws.org/~rossberg/1ml/
- infoRelease/tag comparison is only available for GitHub repositories.https://people.mpi-sws.org/~rossberg/1ml/none confidence
install metadata
Package metadata
| Package key | brew:one-ml |
|---|---|
| Version | 0.1 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/one-ml |
| Homepage | https://people.mpi-sws.org/~rossberg/1ml/ |
| Upstream docs | https://people.mpi-sws.org/~rossberg/1ml/ |
| License | Apache-2.0 |
| Source archive | https://people.mpi-sws.org/~rossberg/1ml/1ml-0.1.zip |
| Last updated | 2026-07-11T09:50:48+09:00 |
| Pulse | updated |
| Build dependencies | ocaml |
| Bottle | available (on arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | one-ml |
| Version Scheme | 0 |
| Revision | 2 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- cross-ecosystem install command graph
- curated package history
- package relationship graph
- package version freshness
- package-page enrichment
- pkg.so package database
- pkgdb category and tag curation