macOS
Homebrewverifiziert · 100%
brew install mltonlocal Homebrew formula metadata
MacPortsverifiziert · 94%
sudo port install mltonMacPorts ports tree · lang/mlton/Portfile · Quelle: api.github.com
brew / Rang 6106
mlton mit Homebrew, dnf, MacPorts, Nix, pacman, apt installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für mlton in AI-Agent-Workflows.
Installation
Weitere Installationsbefehle
Linux
Fedora dnfverifiziert · 92%
sudo dnf install mltonFedora Rawhide package metadata · mlton · Quelle: dl.fedoraproject.org
Nixverifiziert · 92%
nix profile install nixpkgs#mltonnixpkgs package indexes · mlton · Quelle: raw.githubusercontent.com
Arch Linux pacmanverifiziert · 92%
sudo pacman -S mltonArch Linux sync databases · mlton · Quelle: geo.mirror.pkgbuild.com
Ubuntu aptverifiziert · 92%
sudo apt install mltonUbuntu 24.04 LTS package indexes · mlton · Quelle: archive.ubuntu.com
Überblick
Paketzusammenfassung
Whole-program, optimizing compiler for Standard ML
Projektlinks
Befehle und Aliase
- mllex
- mlnlffigen
- mlprof
- mlton
- mlyacc
Verlauf
Projektgeschichte und Nutzung
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.
Projektgeschichte
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.
Wie es verwendet wird
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.
Quellen
Sicherheitslage
Risikostufe: grün
narrow executable package without higher-risk signals.
Risikoklassifikator
grün Risiko · niedrig Konfidenz · appliance
Warum
- narrow executable package without higher-risk signals
Signale
- metadata:no-higher-risk-signals
Installationsverhalten
- Es wurden keine Homebrew-Bottle-Metadaten erfasst.
Empfohlene Prüfung
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
Installierte Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
mllex | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
mlnlffigen | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
mlprof | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
mlton | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
mlyacc | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
Aktualität
Version und 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.
Seite generiert2026-08-03
Manager-Version20241230
Manager aktualisiert2026-06-22
lokale Datenunbekannt
Upstreamnicht verfügbar
neueste erkannte Versionnicht erkannt
- OKEs wurden keine Aktualitätswarnungen generiert.
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:mlton |
|---|---|
| Version | 20241230 |
| Paketmanager | Homebrew |
| Homepage | http://mlton.org |
| Repository | https://github.com/MLton/mlton |
| Zuletzt aktualisiert | 2026-06-22T14:05:30-07:00 |
| Pulse | updated |
| Bottle | nicht erfasst |
| Dienst | keiner deklariert |
Source-Datenbank-Treffer
Andere Paketmanager-Einträge
Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.
Nix95%
mlton
nix profile install nixpkgs#mlton- normalized package name match
- Abgeglichen nach: Mlton
Ubuntu apt95%
mlton 20210117+dfsg-3
Optimizing compiler for Standard ML
sudo apt install mlton- Section: universe/devel
- Architecture: all
- 2 Abhängigkeiten
- 1 optionale Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- 1 stellt bereit
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: Mlton
dnf95%
mlton 20210117-13.fc45
Optimizing compiler for Standard ML
sudo dnf install mlton- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: mlton
- 7 Abhängigkeiten
- 1 stellt bereit
- normalized package name match
- Abgeglichen nach: Mlton
pacman95%
mlton 20241230-1
Whole-program optimizing Standard ML compiler
sudo pacman -S mlton- License: HPND AND MIT
- Architecture: x86_64
- 1 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: Mlton
MacPorts95%
mlton
sudo port install mlton- normalized package name match
- Abgeglichen nach: Mlton
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.
Combined YAML source
View the package source record on GitHub.
Verwendete Quellen
- Geiger risk classifier
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- pkg.so package database
- pkgdb category and tag curation