Lambda. Lambda Project é um intérprete de cálculo lambda.
Baixe Agora

Lambda. Classificação e resumo

Lambda. Tag

intérprete cálculo lambda. intérprete de cálculo expressões lambda. Inteiros lambda.

Lambda. Descrição

O projeto Lambda é um intérprete de cálculo lambda. O projeto Lambda é um interpretador de cálculo lambda.En reduz as expressões lambda e os converte nos combinadores S, K e I (ext). Ele tem a capacidade de associar nomes a expressões lambda (def), definições de carga de um arquivo (carga) e listar as definições atuais (lista). Expressões lambda representando inteiros são definidas automaticamente conforme necessário. Muitos combinadores interessantes são fornecidos em um arquivo de definição. Várias configurações são fornecidas para influenciar a forma como a redução e a extração são executadas (definidas). Um manual curto é fornecido a mostrar como o Lambda funciona.Aqui são algumas características importantes de "lambda": · Carregar expressão de lambda predefinida · Muitas definições fornecidas: números Y Fact Map IZZO LIST 1º 2º 3º 3º Add Mul Exp List SuD. . . · Definições de números automáticos. · Interpretar expressões lambda. · Interpretação de etapa única. · Reduções de ordem normal ou de aplicação. · Extração variável (conversão para esqui) · Lista de definições de lista. · Algum Teoria do Cálculo de Lambda. LIBERAÇÃO: · Adicionar XAPP Flag for Ext Command. · Feito EXT Behave consistentemente ao extrair expressões constantes. · Adicionar pré-processamento para o manual do usuário. Isso insere automaticamente um índice e as traduções de entidade de caracteres.

Lambda. Software Relacionado