macOS
Homebrew確認済み · 100%
brew install one-mllocal Homebrew formula metadata
brew / 順位 14034
one-ml を Homebrew でインストール
one-ml のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
概要
パッケージ概要
Reboot of ML, unifying its core and (now first-class) module layers
プロジェクトリンク
コマンドとエイリアス
- 1ml
履歴
プロジェクトの歴史と使われ方
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.
リスク分類器
リスク グリーン · 信頼度 低 · appliance
理由
- narrow executable package without higher-risk signals
信号
- metadata:no-higher-risk-signals
インストール挙動
- formula メタデータに Homebrew post-install フックは記録されていません。
- Homebrew bottle メタデータは 13 個のプラットフォームターゲットで利用できます。
- ビルドメタデータには 1 件のビルド依存関係があります。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
1ml | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-08-04
マネージャ版0.1
マネージャ更新日2026-07-11
ローカルデータOK
上流not checked
検出された最新未検出
https://people.mpi-sws.org/~rossberg/1ml/
- 情報Release/tag comparison is only available for GitHub repositories.https://people.mpi-sws.org/~rossberg/1ml/信頼度 none
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:one-ml |
|---|---|
| バージョン | 0.1 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/one-ml |
| ホームページ | https://people.mpi-sws.org/~rossberg/1ml/ |
| 上流ドキュメント | https://people.mpi-sws.org/~rossberg/1ml/ |
| ライセンス | Apache-2.0 |
| ソースアーカイブ | https://people.mpi-sws.org/~rossberg/1ml/1ml-0.1.zip |
| 最終更新 | 2026-07-11T09:50:48+09:00 |
| Pulse | updated |
| ビルド依存関係 | ocaml |
| Bottle | 利用可能 (対象 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 | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| 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 |
|
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- 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