Preguntas etiquetadas con lambda-calculus

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 cualquier nombre …

45 code-golf  interpreter  lambda-calculus 

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 A(elegidas con …

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 

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 β . …

22 code-golf  repeated-transformation  lambda-calculus 

El cálculo λ , o cálculo lambda, es un sistema lógico basado en funciones anónimas. Por ejemplo, esta es una expresión λ: λf.(λx.xx)(λx.f(xx)) Sin embargo, para los propósitos de este desafío, simplificaremos la notación: Cambie λa \(para que sea más fácil escribir):\f.(\x.xx)(\x.f(xx)) Los .encabezados in lambda son innecesarios, por lo …

20 code-golf  string  functional-programming  lambda-calculus 

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 para ordenar la lista. Cada valor …

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 

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 líneas verticales que emanan de su lambda de …

9 code-golf  ascii-art  lambda-calculus 

Escriba un término en el cálculo lambda puro sin tipo que, cuando se aplica a una lista de números codificada por la iglesia , lo devuelve con sus números ordenados en orden ascendente o descendente. Las listas y los números de la iglesia deben codificarse como pliegues para sus ADT …

8 sorting  atomic-code-golf  lambda-calculus