# 使用 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 - **主页:** - **上游文档:** - **许可证:** Apache-2.0 - **源码归档:** - **最后更新:** 2026-07-11T09:50:48+09:00 - **已生成:** 2026-08-04T22:13:35+00:00 ## 可执行文件 - 1ml (cli) - 1ml (别名) ## 构建依赖 - ocaml ## 安装行为 - post-install 钩子: 未定义 - Bottle: 可用 于 arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura ## 版本和新鲜度 - 页面生成时间: 2026-08-04 - 管理器版本: 0.1 - 管理器更新时间: 2026-07-11 - 本地数据: OK - 上游仓库: https://people.mpi-sws.org/~rossberg/1ml/ - 信息: Release/tag comparison is only available for GitHub repositories. ## 项目历史与用法 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. ### 来源 - - - - ## 安全说明 narrow executable package without higher-risk signals. - **Geiger 风险:** 绿色 / 低 - narrow executable package without higher-risk signals ## 源数据库详情 - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** one-ml - **Version Scheme:** 0 - **Revision:** 2 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## 相关链接 - [Terminal utility packages](https://pkg.so/zh-hans/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Language runtime packages](https://pkg.so/zh-hans/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [Networking and protocol packages](https://pkg.so/zh-hans/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [Package ecosystem packages](https://pkg.so/zh-hans/package-ecosystem-tools/) - Matched package manager, installer, dependency, registry, or publishing metadata. - [ocaml](https://pkg.so/zh-hans/brew/ocaml/) - Build dependency declared by Homebrew. - [ruby](https://pkg.so/zh-hans/brew/ruby/) - Shares pkgdb curated category or tags: cli, interpreter, language-runtime, programming-language. - [lua](https://pkg.so/zh-hans/brew/lua/) - Shares pkgdb curated category or tags: cli, interpreter, language-runtime, programming-language. - [algol68g](https://pkg.so/zh-hans/brew/algol68g/) - Shares pkgdb curated category or tags: cli, interpreter, language-runtime, programming-language. - [picat](https://pkg.so/zh-hans/brew/picat/) - Shares pkgdb curated category or tags: cli, interpreter, language-runtime, programming-language. - [arturo](https://pkg.so/zh-hans/brew/arturo/) - Shares pkgdb curated category or tags: cli, interpreter, language-runtime, programming-language. - [mosml](https://pkg.so/zh-hans/brew/mosml/) - Shares pkgdb curated category or tags: cli, interpreter, language-runtime, ml, programming-language. - [latino](https://pkg.so/zh-hans/brew/latino/) - Shares pkgdb curated category or tags: cli, interpreter, language-runtime, programming-language. - [rust](https://pkg.so/zh-hans/brew/rust/) - Shares pkgdb curated category or tags: cli, language-runtime, programming-language. ## 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 - package-page enrichment - curated package history - package version freshness - pkgdb category and tag curation - package relationship graph - cross-ecosystem install command graph