Domande taggate «lambda-calculus»

22
Sostituzione di stringhe ricorsive
L'obiettivo Scrivere un programma o una funzione che danno tre stringhe A, B, Cproduce una stringa di output in cui ogni istanza di Bin Aè stata sostituita in modo ricorsivo C. Sostituire in modo ricorsivo significa ripetere una sostituzione in cui ad ogni passo tutte le istanze non sovrapposte di …
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 
1
Converti espressioni λ in espressioni SK
Il calcolo λ , o calcolo lambda, è un sistema logico basato su funzioni anonime. Ad esempio, questa è un'espressione λ: λf.(λx.xx)(λx.f(xx)) Tuttavia, ai fini di questa sfida, semplificheremo la notazione: Passare λa \(per semplificare la digitazione):\f.(\x.xx)(\x.f(xx)) Le .intestazioni in lambda non sono necessarie, quindi possiamo rilasciarle:\f(\xxx)(\xf(xx)) Utilizzare la notazione …
8
Ordinamento di inserzione inversa
Obbiettivo Genera l'elenco criptato originale, dai movimenti che farebbe un ordinamento di inserzione per ordinarlo. L'elenco originale avrà tutti i numeri da 0a N-1(incluso) dove si Ntrova la dimensione dell'input. Ingresso Un elenco contenente le mosse necessarie per ordinare l'elenco. Ogni valore rappresenta la quantità di slot spostati dal numero …
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
Visualizza i numeri della Chiesa
sfondo Visualizzazione dei termini λ-calcolo Il famoso giocoliere lambda (e golfista di codice ) John Tromp ha ideato un'interessante visualizzazione dei termini nel calcolo λ. Nelle sue parole: le astrazioni (lambda) sono rappresentate da linee orizzontali, variabili da linee verticali che scendono dalla loro lambda vincolante e applicazioni da collegamenti …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.