El desafío es escribir un intérprete para el cálculo lambda sin tipo en la menor cantidad de caracteres posible. Definimos el cálculo lambda sin tipo de la siguiente manera: Sintaxis Existen los siguientes tres tipos de expresiones: Una expresión lambda tiene la forma (λ x. e)donde xpodría ser...
La tarea Escribir un programa o función que con tres cadenas A, B, Cproduce una cadena de salida donde cada instancia de Bin Aha sido sustituida recursivamente con C. Sustituir recursivamente significa repetir una sustitución en la que en cada paso todas las instancias no superpuestas de Bin...
El cálculo SKI es una variante del cálculo Lambda que no utiliza expresiones lambda. En cambio, solo se utilizan la aplicación y los combinadores S , K y yo . En este desafío, su tarea es traducir los términos de SKI en términos de Lambda en forma normal β . Especificación de entrada La entrada...
Objetivo Genere la lista codificada original, a partir de los movimientos que haría una Clasificación de inserción para ordenarla. La lista original tendrá todos los números desde 0hasta N-1(inclusive) donde Nestá el tamaño de la entrada. Entrada Una lista que contiene los movimientos necesarios...
Antecedentes Visualización de términos de cálculo λ El famoso malabarista lambda (y golfista de códigos ) John Tromp ideó una visualización interesante de términos en el cálculo λ. En sus palabras: las abstracciones (lambdas) están representadas por líneas horizontales, las variables por...