projeto Lambda é um cálculo intérprete Lambda.
Ele reduz as expressões lambda e converte-los para o S, K, e combinadores I (ext). Ele tem a capacidade de associar nomes com expressões lambda (DEF), definições de carga de um arquivo (carga), e listar as definições atuais (lista).
As expressões lambda representam números inteiros são automaticamente definida conforme necessário. Muitos combinators interessantes são fornecidos em um arquivo de definição.
Várias definições são fornecidas para influenciar a redução caminho e extração são realizadas (set).
Um pequeno manual é fornecido mostrando como lambda funciona.
Aqui estão algumas características-chave de "Lambda":
· Carregar predefinidos expressão lambda
· Muitas definições previstas: números de fatos Y lista mapa IsZero 1º 2º 3º ADD MUL EXP lista suc pred. . .
· Definições automáticas numéricas.
· Interpretar expressões lambda.
· Interpretação única etapa.
· Reduções normais ou de aplicação de ordem.
· Extracção Variável (conversão a S K I)
· Definições de lista.
· Alguns teoria cálculo lambda.
Requisitos:
· Libstdc ++
O que há de novo nesta versão:
· Adicionar bandeira xApp para comando ext.
· Feito ext comportar de forma consistente ao extrair expressões constantes.
· Adicionar para pré-processamento manual do usuário. Isso insere automaticamente uma tabela de conteúdo e faz traduções entidade personagem.
Comentários não encontrado