Pertanyaan yang diberi tag lambda-calculus

25
Substitusi string rekursif

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

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
22
Mengoptimalkan kompiler SKI

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

code-golf repeated-transformation lambda-calculus
19
Urutkan penyisipan terbalik

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

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
9
Visualisasikan angka-angka Gereja

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

code-golf ascii-art lambda-calculus