Le défi consiste à écrire un interprète pour le calcul lambda non typé dans le moins de caractères possible. Nous définissons le calcul lambda non typé comme suit: Syntaxe Il existe trois types d'expressions: Une expression lambda a la forme (λ x. e)où xpourrait être n'importe quel nom de variable...
La tâche Ecrivez un programme ou une fonction qui, à partir de trois chaînes, A, B, Cproduit une chaîne de sortie dans laquelle chaque instance de Bin Aa été récursivement remplacée par C. Substituer récursivement signifie répéter une substitution où à chaque étape toutes les instances non...
Le calcul SKI est une variante du calcul Lambda qui n'utilise pas d'expressions lambda. Au lieu de cela, seule l'application et les combinateurs S , K et I sont utilisés. Dans ce défi, votre tâche consiste à traduire les termes SKI en termes Lambda sous forme normale β . Spécification d'entrée...
Objectif Générez la liste brouillée d'origine, à partir des mouvements qu'un tri d'insertion ferait pour le trier. La liste d'origine aura tous les nombres de 0à N-1(inclus) où Nest la taille de l'entrée. Contribution Une liste contenant les mouvements nécessaires pour trier la liste. Chaque valeur...
Contexte Visualisation des termes λ-calcul Le célèbre jongleur lambda (et golfeur de code ) John Tromp a imaginé une visualisation intéressante des termes du λ-calcul. Dans ses mots: les abstractions (lambdas) sont représentées par des lignes horizontales, les variables par des lignes verticales...