| Alice ml. Alice ML é uma linguagem de programação distribuída funcional, simultânea, com base na ml padrão. |
Baixe Agora |
Alice ml. Classificação e resumo
- Nome do editor:
- Guido Tack
- Site do editor:
- http://www.gecode.org/gecodej/
Alice ml. Tag
Alice ml. Descrição
Alice ML é uma linguagem de programação distribuída funcional, simultânea, com base na ml padrão. Alice é uma linguagem de programação funcional baseada em ML padrão, estendida com rico suporte para programação simultânea, distribuída e restrição.Aqui são algumas características importantes do "Alice ML": · Futuros: preguiça e concorrência de peso leve com sincronização de fluxo de dados Módulos de ordem superior: funções de ordem superior e assinaturas abstratas · Pacotes: integrando estática com módulos dinâmicos de digitação e de primeira classe · Enviar: Tipo de ordem superior, insistência genérica e independente de plataforma · Componentes: Independência da Plataforma e Tipo-Seguro Carregamento dinâmico de módulos · Distribuição: Funções remotas de plataforma cruzada e mobilidade de rede · Restrições: Resolvendo problemas combinatórios usando a propagação de restrição e pesquisa programável O sistema Alice é um rico sistema de programação de código aberto com as seguintes ferramentas: · Máquina virtual: A VM portátil com suporte para compilação just-in-time · sistema interativo: um intérprete-like interactive Toplevel · Compilador Lote: Comp separado ilation · Linker estático: Bundling de tipos de componentes · Inspetor: uma ferramenta para inspecionar interativamente as estruturas de dados · Explorer: uma ferramenta para investigar interativamente Problemas de pesquisa · GTK +: uma ligação para a biblioteca GNOME da GUI · SQL: uma biblioteca para acessar o SQL Bancos de dados · XML: Uma biblioteca simples para analisar o documento XML O que é 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 de restrição e A biblioteca de restrições agora usa a versão estável atual do GECODE.
Alice ml. Software Relacionado