macOS
Homebrewvérifié · 100%
brew install mltonlocal Homebrew formula metadata
MacPortsvérifié · 94%
sudo port install mltonMacPorts ports tree · lang/mlton/Portfile · Source: api.github.com
brew
Installer mlton avec Homebrew, dnf, MacPorts, Nix, pacman, apt
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de mlton pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Fedora dnfvérifié · 92%
sudo dnf install mltonFedora Rawhide package metadata · mlton · Source: dl.fedoraproject.org
Nixvérifié · 92%
nix profile install nixpkgs#mltonnixpkgs package indexes · mlton · Source: raw.githubusercontent.com
Arch Linux pacmanvérifié · 92%
sudo pacman -S mltonArch Linux sync databases · mlton · Source: geo.mirror.pkgbuild.com
Ubuntu aptvérifié · 92%
sudo apt install mltonUbuntu 24.04 LTS package indexes · mlton · Source: archive.ubuntu.com
aperçu
Résumé du paquet
Whole-program, optimizing compiler for Standard ML
Liens du projet
Commandes et alias
- mllex
- mlnlffigen
- mlprof
- mlton
- mlyacc
historique
Historique du projet et usages
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.
Historique du projet
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.
Modes d'utilisation
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.
Sources
posture de sécurité
Niveau de risque : vert
narrow executable package without higher-risk signals.
Classificateur de risque
risque vert · confiance faible · appliance
Pourquoi
- narrow executable package without higher-risk signals
Signaux
- metadata:no-higher-risk-signals
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 8 plateformes.
- S’installe avec 1 dépendances d’exécution.
- Les métadonnées de compilation listent 2 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
mllex | cli | exécutable global | |
mlnlffigen | cli | exécutable global | |
mlprof | cli | exécutable global | |
mlton | cli | exécutable global | |
mlyacc | cli | exécutable global |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-07-26
version du gestionnaire20241230
gestionnaire mis à jour2026-06-22
données localesOK
amontnot checked
dernière version détectéenon détecté
- infoRelease/tag comparison is only available for GitHub repositories.http://mlton.orgconfiance none
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:mlton |
|---|---|
| Version | 20241230 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/mlton |
| Page d'accueil | http://mlton.org |
| Dépôt | https://github.com/MLton/mlton |
| Docs amont | https://www.mlton.org/Documentation |
| Licence | HPND |
| Archive source | https://downloads.sourceforge.net/project/mlton/mlton/20241230/mlton-20241230.src.tgz |
| Dernière mise à jour | 2026-06-22T14:05:30-07:00 |
| Pulse | updated |
| Dépendances | gmp |
| Dépendances de compilation | autoconf, automake |
| Bouteille | disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
faits du registre
Détails de la base source
| 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 |
|
correspondances dans les bases sources
Autres enregistrements de gestionnaires de paquets
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
Nix95%
mlton
nix profile install nixpkgs#mlton- normalized package name match
- Correspondance par : Mlton
Ubuntu apt95%
mlton 20210117+dfsg-3
Optimizing compiler for Standard ML
sudo apt install mlton- Section: universe/devel
- Architecture: all
- 2 Dépendances
- 1 dépendances optionnelles
- normalized package name match
- Correspondance par : 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
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : 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
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : 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 Dépendances
- 1 fournit
- normalized package name match
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : 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 Dépendances
- 1 fournit
- normalized package name match
- Correspondance par : Mlton
pacman95%
mlton 20241230-1
Whole-program optimizing Standard ML compiler
sudo pacman -S mlton- License: HPND AND MIT
- Architecture: x86_64
- 1 Dépendances
- normalized package name match
- Correspondance par : Mlton
MacPorts95%
mlton
sudo port install mlton- normalized package name match
- Correspondance par : Mlton
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- 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