Pertanyaan yang diberi tag «lambda-calculus»

Tantangannya adalah menulis penerjemah untuk kalkulus lambda yang tidak diketik dalam karakter sesedikit mungkin. Kami mendefinisikan kalkulus lambda yang tidak diketik sebagai berikut: Sintaksis Ada tiga jenis ekspresi berikut: Ekspresi lambda memiliki bentuk di (λ x. e)mana xbisa berupa nama variabel hukum dan eekspresi hukum apa pun. Di sini xdisebut …

45 code-golf  interpreter  lambda-calculus 

Tugas Tulis sebuah program atau fungsi yang diberi tiga string A, B, Cmenghasilkan string output di mana setiap instance Bin Atelah diganti secara rekursif C. Rekursif mengganti cara mengulang substitusi di mana pada setiap langkah semua contoh yang tidak tumpang tindih dari Bdalam A(dipilih rakus dari kiri ke kanan) diganti …

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 

The SKI kalkulus adalah varian dari kalkulus Lambda yang tidak menggunakan ekspresi lambda. Sebaliknya, hanya aplikasi dan kombinator S , K , dan saya yang digunakan. Dalam tantangan ini, tugas Anda adalah menerjemahkan istilah SKI ke dalam istilah Lambda dalam bentuk normal β . Spesifikasi Input Input adalah istilah SKI …

22 code-golf  repeated-transformation  lambda-calculus 

The λ-kalkulus , atau lambda kalkulus, adalah sistem yang logis berdasarkan fungsi anonim. Sebagai contoh, ini ekspresi λ: λf.(λx.xx)(λx.f(xx)) Namun, untuk keperluan tantangan ini, kami akan menyederhanakan notasi: Ubah λke \(untuk mempermudah mengetik):\f.(\x.xx)(\x.f(xx)) The .dalam header lambda tidak perlu, sehingga kita bisa menjatuhkannya:\f(\xxx)(\xf(xx)) Gunakan notasi gaya- Unlambda dengan `untuk aplikasi …

20 code-golf  string  functional-programming  lambda-calculus 

Objektif Hasilkan daftar orak asli, dari gerakan yang akan dilakukan Sortasi Sortir untuk mengurutkannya. Daftar asli akan memiliki semua angka dari 0hingga N-1(inklusif) di mana Nukuran input. Memasukkan Daftar berisi gerakan yang diperlukan untuk mengurutkan daftar. Setiap nilai mewakili jumlah slot yang dipindahkan oleh nomor asli (diacak) untuk berada di …

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 

Latar Belakang Visualisasi istilah λ-kalkulus Lambda-juggler terkenal (dan pegolf kode ) John Tromp merancang visualisasi yang menarik dari istilah dalam λ-calculus. Dalam kata-katanya: abstraksi (lambda) diwakili oleh garis-garis horizontal, variabel-variabel dengan garis-garis vertikal yang turun dari lambda pengikatnya, dan aplikasi oleh tautan-tautan horisontal yang menghubungkan variabel-variabel paling kiri. Misalnya, istilah …

9 code-golf  ascii-art  lambda-calculus 

Tuliskan istilah pada kalkulus lambda murni yang tidak diketik, yang bila diterapkan pada daftar angka yang dikodekan oleh gereja , kembalikan dengan angka-angkanya yang diurutkan dalam urutan naik atau turun. Daftar dan nomor Gereja harus dikodekan sebagai lipatan untuk ADT mereka yang biasa: -- Usual ADTs for Lists and Nats …

8 sorting  atomic-code-golf  lambda-calculus