Calculadora lambda Ingrese una expresión de lambda y reduzca su forma normal
Descargar ahora

Calculadora lambda Clasificación y resumen

Calculadora lambda Etiquetas

Calculadora de expresión expresión reducir lambda Reducir la expresión expresión de lambda

Calculadora lambda Descripción

Ingrese una expresión de lambda y reduzca la forma normal. Lambda Calculator es un motor gratuito y fácil de usar para el cálculo Lambda inventado por la Iglesia. La calculadora de Lambda permite al usuario ingresar una expresión de lambda y ver la secuencia de reducciones tomadas por el motor para reducir la expresión a la forma normal. La calculadora Lambda permite una variedad de opciones de personalización, incluidas las opciones entre el cálculo puro y un cálculo aplicado simple y entre la evaluación ansiosa y perezosa. Lambda Calculator es una herramienta útil para aprender y experimentar con el cálculo Lambda. Requisitos: · Java 1.4 o posterior ¿Qué hay de nuevo en este lanzamiento: · Característica: a través de la opción de longitud máxima, el programa le permite al usuario limitar el número máximo de caracteres que se muestran en cada expresión impresa. Esto hace que el proceso de cálculo sea más rápido y el área de texto funciona de manera más eficiente. · Característica: el programa muestra los caracteres Lambda en lugar de barras invertidas. La opción de carácter de impresión lambda da la capacidad de deshabilitar la característica. · Tweak de la interfaz: cuando el campo de entrada está mostrando el valor de un símbolo, y luego el usuario cambia el valor en el campo, el programa deselecciona el símbolo en el navegador. · Corrección de errores: un error en la prueba de igualdad de identificadores llevó algunas instalaciones de Java para que no reconocen los símbolos que coincidan en expresiones.

Calculadora lambda Software relacionado