macOS
Homebrew確認済み · 100%
brew install mltonlocal Homebrew formula metadata
MacPorts確認済み · 94%
sudo port install mltonMacPorts ports tree · lang/mlton/Portfile · ソース: api.github.com
brew
mlton を Homebrew, dnf, MacPorts, Nix, pacman, apt でインストール
mlton のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Fedora dnf確認済み · 92%
sudo dnf install mltonFedora Rawhide package metadata · mlton · ソース: dl.fedoraproject.org
Nix確認済み · 92%
nix profile install nixpkgs#mltonnixpkgs package indexes · mlton · ソース: raw.githubusercontent.com
Arch Linux pacman確認済み · 92%
sudo pacman -S mltonArch Linux sync databases · mlton · ソース: geo.mirror.pkgbuild.com
Ubuntu apt確認済み · 92%
sudo apt install mltonUbuntu 24.04 LTS package indexes · mlton · ソース: archive.ubuntu.com
概要
パッケージ概要
Whole-program, optimizing compiler for Standard ML
プロジェクトリンク
コマンドとエイリアス
- mllex
- mlnlffigen
- mlprof
- mlton
- mlyacc
履歴
プロジェクトの歴史と使われ方
MLton grew out of Standard ML compiler research in the late 1990s. The project history traces its start to April 1997, when Stephen Weeks wrote a defunctorizer for Standard ML and integrated it with SML/NJ. That origin explains the shape of the compiler: MLton is not an interactive SML environment, but a whole-program compiler that takes the complete program as input and uses that global view for optimization.
プロジェクトの歴史
The project became known in the Standard ML community for aggressive whole-program optimization and standalone native executables. Its own repository describes support for SML97, a complete Standard ML Basis Library, the ML Basis system, a C foreign-function interface, source-level profiling, mllex, mlyacc, and mlnlffigen. The implementation emphasizes small executables and runtime performance through unboxed representations, native arrays, GMP-backed arbitrary precision arithmetic, multiple code generators, and multiple garbage-collection strategies.
使われ方
In package-manager terms, MLton occupies the serious native-code SML compiler niche alongside SML/NJ, Poly/ML, and MLKit rather than the lightweight scripting or teaching niche. It is used when SML code needs to be compiled into fast standalone programs, when whole-program analysis is useful, or when tools from the MLton distribution such as mllex, mlyacc, and mlprof are part of the workflow.
ソース
セキュリティ状態
リスクレベル: グリーン
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 メタデータは 8 個のプラットフォームターゲットで利用できます。
- 1 件の実行時依存関係とともにインストールされます。
- ビルドメタデータには 2 件のビルド依存関係があります。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
mllex | cli | グローバル実行可能ファイル | |
mlnlffigen | cli | グローバル実行可能ファイル | |
mlprof | cli | グローバル実行可能ファイル | |
mlton | cli | グローバル実行可能ファイル | |
mlyacc | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-07-25
マネージャ版20241230
マネージャ更新日2026-06-22
ローカルデータOK
上流not checked
検出された最新未検出
- 情報Release/tag comparison is only available for GitHub repositories.http://mlton.org信頼度 none
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:mlton |
|---|---|
| バージョン | 20241230 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/mlton |
| ホームページ | http://mlton.org |
| リポジトリ | https://github.com/MLton/mlton |
| 上流ドキュメント | https://www.mlton.org/Documentation |
| ライセンス | HPND |
| ソースアーカイブ | https://downloads.sourceforge.net/project/mlton/mlton/20241230/mlton-20241230.src.tgz |
| 最終更新 | 2026-06-22T14:05:30-07:00 |
| Pulse | updated |
| 依存関係 | gmp |
| ビルド依存関係 | autoconf, automake |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | mlton |
| Version Scheme | 1 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Nix95%
mlton
nix profile install nixpkgs#mlton- normalized package name match
- 一致条件: Mlton
Ubuntu apt95%
mlton 20210117+dfsg-3
Optimizing compiler for Standard ML
sudo apt install mlton- Section: universe/devel
- Architecture: all
- 2 依存関係
- 1 任意依存関係
- normalized package name match
- 一致条件: Mlton
Ubuntu apt95%
mlton-basis 20210117+dfsg-3
Optimizing compiler for Standard ML - basis library
sudo apt install mlton-basis- Section: universe/devel
- Architecture: amd64
- Source Package: mlton
- normalized package name match
- 一致条件: Mlton
Ubuntu apt95%
mlton-compiler 20210117+dfsg-3
Optimizing compiler for Standard ML - compiler
sudo apt install mlton-compiler- Section: universe/devel
- Architecture: amd64
- Source Package: mlton
- 7 依存関係
- normalized package name match
- 一致条件: Mlton
Ubuntu apt95%
mlton-doc 20210117+dfsg-3
Optimizing compiler for Standard ML - documentation
sudo apt install mlton-doc- Section: universe/doc
- Architecture: all
- Source Package: mlton
- normalized package name match
- 一致条件: Mlton
Ubuntu apt95%
mlton-runtime-native 20210117+dfsg-3
Optimizing compiler for Standard ML - native runtime libraries
sudo apt install mlton-runtime-native- Section: universe/devel
- Architecture: amd64
- Source Package: mlton
- 1 依存関係
- normalized package name match
- 一致条件: Mlton
Ubuntu apt95%
mlton-runtime-x86-64-linux-gnu 20210117+dfsg-3
Optimizing compiler for Standard ML - amd64 runtime libraries
sudo apt install mlton-runtime-x86-64-linux-gnu- Section: universe/devel
- Architecture: amd64
- Source Package: mlton
- 1 依存関係
- 1 提供
- normalized package name match
- 一致条件: Mlton
Ubuntu apt95%
mlton-tools 20210117+dfsg-3
Optimizing compiler for Standard ML - tools
sudo apt install mlton-tools- Section: universe/devel
- Architecture: amd64
- Source Package: mlton
- 2 依存関係
- normalized package name match
- 一致条件: Mlton
dnf95%
mlton 20210117-12.fc44
Optimizing compiler for Standard ML
sudo dnf install mlton- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: mlton
- 8 依存関係
- 1 提供
- normalized package name match
- 一致条件: Mlton
pacman95%
mlton 20241230-1
Whole-program optimizing Standard ML compiler
sudo pacman -S mlton- License: HPND AND MIT
- Architecture: x86_64
- 1 依存関係
- normalized package name match
- 一致条件: Mlton
MacPorts95%
mlton
sudo port install mlton- normalized package name match
- 一致条件: Mlton
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment