Perguntas com a marcação «lambda-calculus»

O desafio é escrever um intérprete para o cálculo lambda não digitado com o mínimo de caracteres possível. Definimos o cálculo lambda sem tipo da seguinte maneira: Sintaxe Existem os três tipos de expressões a seguir: Uma expressão lambda tem o formato (λ x. e)onde xpode haver qualquer nome de …

45 code-golf  interpreter  lambda-calculus 

A tarefa Escreva um programa ou função que, com três seqüências de caracteres, A, B, Cproduza uma sequência de saída em que cada instância de Bin Afoi recursivamente substituída por C. Substituir recursivamente significa repetir uma substituição em que em cada etapa todas as instâncias não sobrepostas de Bin A(escolhidas …

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 

O cálculo SKI é uma variante do cálculo Lambda que não usa expressões lambda. Em vez disso, apenas o aplicativo e os combinadores S , K e I são usados. Nesse desafio, sua tarefa é converter os termos de SKI em termos do Lambda na forma normal β . Especificação …

22 code-golf  repeated-transformation  lambda-calculus 

O cálculo λ , ou cálculo lambda, é um sistema lógico baseado em funções anônimas. Por exemplo, esta é uma expressão λ: λf.(λx.xx)(λx.f(xx)) No entanto, para os propósitos deste desafio, simplificaremos a notação: Altere λpara \(para facilitar a digitação):\f.(\x.xx)(\x.f(xx)) Os .cabeçalhos in lambda são desnecessários, portanto podemos eliminá-lo:\f(\xxx)(\xf(xx)) Use a …

20 code-golf  string  functional-programming  lambda-calculus 

Objetivo Gere a lista codificada original, a partir dos movimentos que uma Classificação de inserção faria para classificá-la. A lista original terá todos os números de 0até N-1(inclusive) onde Nestá o tamanho da entrada. Entrada Uma lista contendo as movimentações necessárias para classificar a lista. Cada valor representa a quantidade …

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 

fundo Visualização de termos do cálculo λ O famoso lambda-malabarista (e jogador de código ) John Tromp criou uma visualização interessante dos termos no λ-cálculo. Nas suas palavras: abstrações (lambdas) são representadas por linhas horizontais, variáveis ​​por linhas verticais que emanam de sua lambda de ligação e aplicativos por links …

9 code-golf  ascii-art  lambda-calculus 

Escreva um termo no cálculo lambda puro não digitado que, quando aplicado a uma lista de números codificados por igrejas , o retorne com seus números classificados em ordem crescente ou decrescente. As listas e os números das igrejas devem ser codificados como dobras para seus ADTs habituais: -- Usual …

8 sorting  atomic-code-golf  lambda-calculus