Programmation Puzzles & Code Golf lambda-calculus

13

Écrire un interprète pour le calcul lambda non typé

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 …

45 code-golf interpreter lambda-calculus

22

Substitution de chaîne récursive

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 chevauchantes de Bin …

25 code-golf string substitution code-golf math code-golf string set-theory code-golf code-golf compile-time code-golf kolmogorov-complexity binary code-golf sequence cops-and-robbers code-golf subsequence card-games code-golf sequence primes code-golf code-golf number graphical-output music code-golf ascii-art code-golf string lambda-calculus code-golf string code-generation code-golf unicode code-golf math combinatorics code-golf balanced-string code-golf sequence cops-and-robbers code-golf sequence cops-and-robbers code-challenge fastest-code chess code-golf math graphical-output code-golf string hello-world animation code-golf number arithmetic code-golf integer code-golf code-golf combinatorics code-golf kolmogorov-complexity graphical-output code-golf string code-golf code-golf game code-golf math combinatorics code-golf ascii-art popularity-contest random code-golf arithmetic number-theory integer code-golf tips underload code-golf math sequence primes code-golf math path-finding code-golf ascii-art primes code-golf kolmogorov-complexity alphabet

4

Optimisation du compilateur SKI

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 …

22 code-golf repeated-transformation lambda-calculus

1

Convertir les expressions λ en expressions SK

Le λ-calcul , ou lambda calcul, est un système logique basé sur des fonctions anonymes. Par exemple, c'est une expression λ: λf.(λx.xx)(λx.f(xx)) Cependant, pour les besoins de ce défi, nous simplifierons la notation: Passez λà \(pour faciliter la saisie):\f.(\x.xx)(\x.f(xx)) Les .en-têtes in lambda ne sont pas nécessaires, nous pouvons donc …

20 code-golf string functional-programming lambda-calculus

8

Tri par insertion inverse

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 représente le nombre d'emplacements …

19 code-golf array-manipulation code-golf code-golf animation code-golf restricted-source code-golf java code-golf decision-problem graph-theory code-golf conversion electrical-engineering code-golf ascii-art code-golf string substitution code-golf math code-golf string set-theory code-golf code-golf compile-time code-golf kolmogorov-complexity binary code-golf sequence cops-and-robbers code-golf subsequence card-games code-golf sequence primes code-golf code-golf number graphical-output music code-golf ascii-art code-golf string lambda-calculus code-golf string code-generation code-golf unicode code-golf math combinatorics code-golf balanced-string code-golf sequence cops-and-robbers code-golf sequence cops-and-robbers code-challenge fastest-code chess code-golf math graphical-output code-golf string hello-world animation code-golf number arithmetic code-golf integer code-golf code-golf combinatorics code-golf kolmogorov-complexity graphical-output code-golf string code-golf code-golf game code-golf math combinatorics code-golf ascii-art popularity-contest random code-golf arithmetic number-theory integer code-golf tips underload code-golf math sequence primes code-golf math path-finding code-golf ascii-art primes code-golf kolmogorov-complexity alphabet

4

Visualisez les chiffres de l'Église

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 émanant de leur lambda de liaison et …

9 code-golf ascii-art lambda-calculus

Questions marquées «lambda-calculus»