# one-ml を Homebrew でインストール 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 - **ホームページ:** - **最終更新:** 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. ### ソース - - - - ## セキュリティノート 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