# 使用 Homebrew 安装 one-ml

查看 one-ml 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:one-ml
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install one-ml
```

  证据: local Homebrew formula metadata

## 软件包事实

- **软件包键:** brew:one-ml
- **软件包管理器:** Homebrew
- **版本:** 0.1
- **来源摘要:** Reboot of ML, unifying its core and (now first-class) module layers
- **主页:** <https://people.mpi-sws.org/~rossberg/1ml/>
- **最后更新:** 2026-07-11T09:50:48+09:00
- **已生成:** 2026-08-03T19:37:03+00:00

## 可执行文件

- 1ml (别名)

## 安装行为

- Bottle: 不可用

## 版本和新鲜度

- 页面生成时间: 2026-08-03
- 管理器版本: 0.1
## 项目历史与用法

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.

### 项目历史

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.

### 采用历史

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.

### 使用方式

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.

### 为什么软件包爱好者会关心

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.

### 时间线

- 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.

### 来源

- <https://formulae.brew.sh/formula/one-ml>
- <https://github.com/rossberg/1ml>
- <https://people.mpi-sws.org/~rossberg/1ml/>
- <https://www.cambridge.org/core/journals/journal-of-functional-programming/article/1ml-core-and-modules-united/47B10882829E4B32F98FBA93B28CEF30>


## 安全说明

narrow executable package without higher-risk signals.

- **Geiger 风险:** 绿色 / 低
- narrow executable package without higher-risk signals


## Combined YAML source

View the package source record on GitHub. [combined/one-ml.yml](https://github.com/mxcl/pkgdb/blob/main/combined/one-ml.yml)


## 来源

- pkg.so package database
- Geiger risk classifier
- curated package history
- pkgdb category and tag curation
- cross-ecosystem install command graph