macOS
brew install mltonprovider-native install command
brew / rang 6113
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de mlton pour les workflows d'agents IA.
installation
brew install mltonprovider-native install command
aperçu
Whole-program, optimizing compiler for Standard ML
historique
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.
posture de sécurité
narrow executable package without higher-risk signals.
risque vert · confiance faible · appliance
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
| Commande | Type | Exposition | Note |
|---|---|---|---|
mllex | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mlnlffigen | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mlprof | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mlton | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mlyacc | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
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.
métadonnées d'installation
| Clé du paquet | brew:mlton |
|---|---|
| Version | 20241230 |
| Gestionnaire de paquets | Homebrew |
| Page d'accueil | http://mlton.org |
| Dépôt | https://github.com/MLton/mlton |
| Dernière mise à jour | 2026-06-22T14:05:30-07:00 |
| Pulse | updated |
| Bouteille | non enregistré |
| Service | aucun déclaré |
piste source
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
View the package source record on GitHub.