Lambda
Descargar ahora

Lambda Clasificación y resumen

Lambda Etiquetas

Interprete cálculo lambda intérprete de cálculo Lambda Expressions Enteros lambda

Lambda Descripción

El proyecto Lambda es un intérprete de cálculo lambda. El proyecto Lambda es un intérprete de cálculo de lambda. Reduce las expresiones Lambda y las convierte en los combinadores S, K y I (ext). Tiene la capacidad de asociar los nombres con expresiones LAMBDA (DEF), las definiciones de carga de un archivo (carga) y enumeren las definiciones actuales (lista). Las expresiones de lambda que representan enteros se definen automáticamente según sea necesario. Muchos combinadores interesantes se proporcionan en un archivo de definición. Se proporcionan varias configuraciones para influir en la forma en que se realizan la reducción y la extracción (SET). Se proporciona un corto manual que muestra cómo funciona Lambda. Aquí hay algunas características clave de "Lambda": · Cargar predefinido expresión de lambda · Muchas definiciones proporcionadas: Números y Fact Map Iszero List 1St 2nd 3RD ADD MUP EX LIST LIG SC PRON. . . · Definiciones de números automáticos. · Interpretar las expresiones de lambda. · Interpretación de un solo paso. · Reducciones de orden normales o de aplicación. · Extracción variable (conversión a esquí) · Definiciones de la lista. · Capa de la teoría de la Lambda Cálculo. Requisements: · libstdc ++ lo que es nuevo en este LIBERACIÓN: · Agregue la bandera XAPP para el comando EXT. · Se debe comportarse constantemente al extraer expresiones constantes. · Añadir preprocesamiento para el manual del usuario. Esto inserta automáticamente una tabla de contenidos y hace las traducciones de la entidad de caracteres.

Lambda Software relacionado