Alice é uma linguagem de programação funcional com base no ML Padrão, estendido com suporte rico para programação concorrente, distribuída e constrangimento.
Aqui estão algumas características-chave de "Alice ML":
ย ท Futures: preguiça e leve simultaneidade com a sincronização de fluxo de dados
ย ท módulos de ordem superior: functors de ordem superior e assinaturas abstratas
ย ท Pacotes: integrando estático com tipagem dinâmica e módulos de primeira classe
ย ท Decapagem: de ordem superior, persistência genérica e independente de plataforma tipo seguro
ย ท Componentes: plataforma de independência e carregamento dinâmico tipo safe-de módulos
ย ท Distribuição: multi-plataforma de funções remotas de tipo seguro e rede de mobilidade
ย ท Restrições: resolução de problemas combinatorical usando propagação de restrições e busca programável
O Sistema Alice é um sistema de programação de código aberto rico, com as seguintes ferramentas:
ย ท Virtual máquina: uma VM portátil com suporte para compilação just-in-time
ย ท sistema interativo: um toplevel interativo intérprete-like
ย ท compilador lote: compilação separada
ย ท vinculador estática: agregação tipo safe-de componentes
ย ท Inspector: uma ferramenta para estruturas de dados de forma interativa inspecionando
ย ท Explorer: uma ferramenta para investigar os problemas de forma interativa de busca
ย ท Gtk +: uma ligação para a biblioteca GUI kit de ferramentas Gnome
ย ท SQL: uma biblioteca para acessar bancos de dados SQL
ย ท XML: uma biblioteca simples para a análise de documentos XML
O que há de novo nesta versão:
ย ท Alice agora incorpora algumas das extensões propostas para Sucessor ML.
ย ท O jitter bytecode é agora a unidade de execução padrão.
ย ท A documentação inclui um tutorial de programação restrição, ea biblioteca restrição agora utiliza a atual versão estável do Gecode.
Comentários não encontrado