«lambda-calculus» etiketlenmiş sorular

Buradaki zorluk, yazılmamış lambda matematiği için bir tercümanı olabildiğince az karakterle yazmaktır . Yazılmamış lambda hesabını şu şekilde tanımlarız: Sözdizimi Aşağıdaki üç tür ifade vardır: Lambda deyimi forma sahiptir herhangi bir yasal değişken adı ve olabilecek herhangi bir hukuki ifadesi. İşte parametre denir ve işlev gövdesi denir.(λ x. e)xexe Sadelik …

45 code-golf  interpreter  lambda-calculus 

Görev Üç dize verilen bir program veya işlev yazın A, B, C, Biçinde her örneğinin Atekrarlı olarak değiştirildiği bir çıktı dizesi oluşturur C. Yinelemeli her adımda tüm çakışmayan örnekleri bir ikame tekrar aracı ikame Bolarak Adeğiştirilir (soldan sağa iştahla seçilen) Ckadar Bdaha fazla içerdiği A. Giriş çıkış G / Ç …

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 

SKI taşı lambda ifadeleri kullanmaz lambda hesap bir varyantıdır. Bunun yerine, yalnızca uygulama ve birleştiriciler S , K ve ben kullanılır. Bu zorlu görevde, göreviniz SKI terimlerini Lambda terimlerine normal biçimde çevirmektir . Giriş özellikleri Giriş, aşağıdaki metin gösterimlerinde bir SKI terimidir. İsteğe bağlı bir izleyen yeni hat almayı seçebilirsiniz. …

22 code-golf  repeated-transformation  lambda-calculus 

Λ-taşı veya lambda taşı, anonim fonksiyonlarına göre mantıksal bir sistemdir. Örneğin, bu bir λ ifadesi: λf.(λx.xx)(λx.f(xx)) Ancak, bu zorluğun amaçları için gösterimi basitleştireceğiz: Değişim λiçin \(daha kolay yazmak için yapmak):\f.(\x.xx)(\x.f(xx)) .Biz bırakın böylece lambda başlıklarda, gereksiz:\f(\xxx)(\xf(xx)) İki işlevi birlikte yazmak yerine uygulama için Unlambda stili önek gösterimini kullanın `(bunun nasıl …

20 code-golf  string  functional-programming  lambda-calculus 

Amaç Ekleme Sıralamasının sıralamak için yapacağı hareketlerden orijinal şifreli listeyi oluşturun . Orijinal listesinden tüm numaraları sahip olacak 0kadar N-1(dahil) Ngirdi boyutudur. Giriş Listeyi sıralamak için gerekli hareketleri içeren bir liste. Her değer, orijinal (karıştırılmış) sayının doğru konumunda olması için yer değiştiren yuva miktarını temsil eder, bu işlemin soldan sağa …

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 

Arka fon Λ-kalkülüs terimlerini görselleştirme Ünlü lambda-hokkabaz (ve kod golfçüsü ) John Tromp cal hesabındaki terimlerin ilginç bir görselleştirmesini tasarladı . Onun sözleriyle: soyutlamalar (lambdalar) yatay çizgilerle, değişkenler bağlayıcı lambdadan aşağıya doğru dikey çizgilerle temsil edilir ve en soldaki değişkenleri bağlayan yatay bağlantılarla uygulamalar. Örneğin, lambda terimi λf.λx.f (f (f …

9 code-golf  ascii-art  lambda-calculus