Descrição
Compile e execute programas Standard ML com a implementação Poly/ML, incluindo ferramentas usadas em pesquisa de linguagens, prova de teoremas e projetos de programação funcional. É útil quando compatibilidade com Standard ML e desempenho importam.
É uma toolchain de linguagem de programação, não um aplicativo para usuário final. Ela executa código do usuário, então compile e rode apenas fontes confiáveis em ambientes sensíveis.