macOS
brew install mltonlocal Homebrew formula metadata
sudo port install mltonMacPorts ports tree · lang/mlton/Portfile · Quelle: api.github.com
brew
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für mlton in AI-Agent-Workflows.
Installation
brew install mltonlocal Homebrew formula metadata
sudo port install mltonMacPorts ports tree · lang/mlton/Portfile · Quelle: api.github.com
sudo dnf install mltonFedora Rawhide package metadata · mlton · Quelle: dl.fedoraproject.org
nix profile install nixpkgs#mltonnixpkgs package indexes · mlton · Quelle: raw.githubusercontent.com
sudo pacman -S mltonArch Linux sync databases · mlton · Quelle: geo.mirror.pkgbuild.com
sudo apt install mltonUbuntu 24.04 LTS package indexes · mlton · Quelle: archive.ubuntu.com
Überblick
Whole-program, optimizing compiler for Standard ML
Verlauf
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.
Sicherheitslage
narrow executable package without higher-risk signals.
grün Risiko · niedrig Konfidenz · appliance
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
mllex | cli | globales Executable | |
mlnlffigen | cli | globales Executable | |
mlprof | cli | globales Executable | |
mlton | cli | globales Executable | |
mlyacc | cli | globales Executable |
Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Installationsmetadaten
| Paketschlüssel | brew:mlton |
|---|---|
| Version | 20241230 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/mlton |
| Homepage | http://mlton.org |
| Repository | https://github.com/MLton/mlton |
| Upstream-Dokumentation | https://www.mlton.org/Documentation |
| Lizenz | HPND |
| Quellarchiv | https://downloads.sourceforge.net/project/mlton/mlton/20241230/mlton-20241230.src.tgz |
| Zuletzt aktualisiert | 2026-06-22T14:05:30-07:00 |
| Pulse | updated |
| Abhängigkeiten | gmp |
| Build-Abhängigkeiten | autoconf, automake |
| Bottle | verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Registry-Fakten
| 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 |
|
Source-Datenbank-Treffer
Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.
mlton
nix profile install nixpkgs#mltonmlton 20210117+dfsg-3
Optimizing compiler for Standard ML
sudo apt install mltonmlton-basis 20210117+dfsg-3
Optimizing compiler for Standard ML - basis library
sudo apt install mlton-basismlton-compiler 20210117+dfsg-3
Optimizing compiler for Standard ML - compiler
sudo apt install mlton-compilermlton-doc 20210117+dfsg-3
Optimizing compiler for Standard ML - documentation
sudo apt install mlton-docmlton-runtime-native 20210117+dfsg-3
Optimizing compiler for Standard ML - native runtime libraries
sudo apt install mlton-runtime-nativemlton-runtime-x86-64-linux-gnu 20210117+dfsg-3
Optimizing compiler for Standard ML - amd64 runtime libraries
sudo apt install mlton-runtime-x86-64-linux-gnumlton-tools 20210117+dfsg-3
Optimizing compiler for Standard ML - tools
sudo apt install mlton-toolsmlton 20210117-12.fc44
Optimizing compiler for Standard ML
sudo dnf install mltonmlton 20241230-1
Whole-program optimizing Standard ML compiler
sudo pacman -S mltonmlton
sudo port install mltonQuellspur
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.
View the package source record on GitHub.