Mlton. MLTON é um programa de código aberto, otimizando o compilador padrão ML
Baixe Agora

Mlton. Classificação e resumo

Mlton. Tag

gerar compilar compilador gerador de parser. ml compilador compilador de programas.

Mlton. Descrição

Mlton é um programa completo de código aberto, otimizando o compilador padrão ML O Mlton é uma optimizadora, otimizando, o compilador de ml de programa integral.Aqui são algumas características importantes do "MLTON": · Funciona em uma variedade de plataformas. · Suporta a linguagem Full SML 97, conforme dado na definição de ML padrão ( Revisado). · Se houver um programa válido de acordo com a definição que é rejeitada pelo MLton, ou um programa inválido de acordo com a definição que é aceita pelo Mlton, é um bug. Para uma lista de insetos conhecidos, veja Unressolvedbugs. · Uma implementação completa da biblioteca de base: a implementação da Mlton corresponde à última especificação da biblioteca de base e inclui uma implementação completa de todos os módulos necessários, além de muitos dos módulos opcionais. · Gera independente Executáveis: Nenhum código ou bibliotecas adicionais são necessários para executar um executável, exceto para as bibliotecas compartilhadas padrão. O MLTON também pode gerar executáveis links estaticamente. · Compila grandes programas: Mlton é suficientemente eficiente e robusto que pode compilar grandes programas, incluindo-se (mais de 140 mil). A versão distribuída do Mlton foi compilada por Mlton. · Suporte para grandes quantidades de memória (até 4G em sistemas de 32 bits; mais em sistemas de 64 bits). · Comprimentos de array até 231 - 1, o maior complemento possível TWOS. Inteiro de 32 bits. · Suporte para arquivos grandes, usando posições de arquivo de 64 bits. · Executores têm excelentes tempos de funcionamento. · Gera pequenos executáveis: Mlton aproveita a compilação do programa inteiro para realizar a eliminação de códigos mortos muito agressivos, que muitas vezes leva Para executáveis menores do que com outros compiladores SML. · Inteiros nativos, reais e palavras: em Mlton, inteiros e palavras são 32 bits e aritmética não possuem sobrecarga devido à marcação ou no boxe. Além disso, os reais são armazenados sem caixa, evitando qualquer sobrecarga devido ao boxe. · Arrays nativos nãoboxes: em Mlton, uma matriz (ou vetor) de inteiros, reais ou palavras usa a representação natural de C, Isso é rápido e suporta fácil troca de dados com c. matrizes monomórficas (e vetores) usam as mesmas representações de C-curtidas como suas contrapartes polimórficas. · Múltiplas estratégias de coleta de lixo. · Aritmética de precisão arbitrária rápida (Intinf) baseada no gnus. · Para programas intensivos intinit, a Mlton pode ser uma ordem de grandeza ou mais mais rápida que poli / ml ou SML / NJ. · Perfil de nível de origem de tempo e alocação. · Mllex Lexer Generator · Mlyacc Parser Generator · ML-Nlffigen · ML-NLFFigen e fast c estrangeiroFunctionInterface que suporta chamar de SML para C e de C para SML. · O sistema base mL para programação na entrega de biblioteca muito grande e superior. · Uma série de bibliotecas de extensão que não podem ser implementado com a biblioteca de base. Veja abaixo uma visão geral e mltonstruture para detalhes. · MLTON suporta continuações via CallCC e lance. · MLTON suporta valores finalizáveis de tipo arbitrário. · Mlton suporta a funcionalidade da função C SetItimer. · Mlton tem funções semelhantes ao cand e SRAND Funções, bem como suporte para acesso a / dev / random e /dev/urandom.· mlton tem funções semelhantes às funções c getrlimit e setrlimit. · Mlton suporta um subconjunto da função C GetRusage. · Mlton suporta sinal Manipuladores escritos em SML. Os manipuladores de sinal são executados em um segmento de Mlton separado e têm acesso ao encadeamento que foi interrompido pelo sinal. Os manipuladores de sinal podem ser usados em conjunto com encadeamentos para implementar multitarefa preventiva. · Mlton inclui um primitivo que retorna o tamanho (em bytes) de qualquer objeto. Isso pode ser útil para entender o comportamento espacial de um programa. · MLTON tem uma interface completa para a função C syslog. · Mlton tem suporte para seus próprios fios, sobre os quais podem ser implementadas uma multitarefa preemptiva ou não preemptiva. Mlton também tem suporte para ml concorrente (CML). · Mlton suporta ponteiros fracos, que permitem que o coletor de lixo recupere objetos que, de outra forma, seria forçado a manter. Ponteiros fracos também são usados para fornecer finalização. · Mlton tem uma instalação para salvar todo o estado de um cálculo para um arquivo e reiniciando-o mais tarde. Esta instalação pode ser usada para encenação e para cálculos de verificação. Pode até ser usado a partir de manipuladores de sinal, permitindo a ponto de verificação acionada pela interrupção.

Mlton. Software Relacionado