«lambda-calculus» etiketlenmiş sorular

Temel soru: Lambda hesabı bizim için, ortaokul cebirinde genel olarak öğrenilen temel işlev özellikleri ve notasyon ile yapamayacağımız için ne yapar ? Her şeyden önce, soyut lambda hesabı bağlamında ne anlama geliyor? Soyut kelimesini anlamam, bir kavramın kavramsal özeti olan makinelerden ayrılan bir şeydir. Ancak lambda fonksiyonları, fonksiyon isimlerini kaldırarak …

18 lambda-calculus  programming-paradigms 

Son zamanlarda (fonksiyonel) programlama dillerinin yönlerini anlamak ve kanıtlamakla son derece ilgilenmeye başladım. Ancak daha derinlere daldığım zaman, hesabı, kategori teorisi ve anlamsal anlambilim gibi şeyleri doğru bir açıklama yapmadan yapmak biraz zor.λλ\lambda SICP'yi (oldukça aydınlatıcı bir kitap) okudum ama fonksiyonel programlama teorisinin derinliklerine dalmak istiyorum. Fonksiyonel programlama dillerinin teorisini …

16 reference-request  lambda-calculus  functional-programming  books 

Lambda hesabında bilinmeyen fonksiyonlar için fonksiyonel denklemleri çözmek için herhangi bir teknik var mı? Varsayalım ki, tanımsal olarak tanımlanmış kimlik fonksiyonuna sahibim: Ix=xIx=xI x = x (o fonksiyonun beklenen davranışı için bir denklemi yazarak vardır) ve şimdi bunu çözmek istiyorum o işlev için intensional formülünü elde etmek için bazı cebirsel …

14 lambda-calculus 

Ben okuyorum Hindley'nin-Milner yazarak algoritması bir uygulama yazma ve görüyoruz ederken, her zaman gibi argümanlar son tipini belirleyecek ya atom tiplerini veya türlerini, elde edersiniz boyunca her değişken bağlı olarak, t1 -> t1ya (t1 -> t2) -> (t1 -> t2)Burada t1ve t2tip değişkenleridir. Ben böyle bir şey almak için bir …

14 lambda-calculus  type-theory  typing  type-inference 

Birisi beni işlevsel bir tarzda kod yazmanın avantajlarını veya dezavantajlarını inceleyen hakemli makalelere yönlendirebilir mi? Makine Öğrenmesi, Dil Tasarımı vb. Alanlarda Lambda Matematik uygulamalarını tartışan makaleler var mı?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Uygulamalı sıra: Fonksiyonun kendisini değerlendirmeden önce bir fonksiyonun argümanlarını daima tam olarak değerlendirin, örneğin - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ \rightarrow \ 9 Normal düzen: İfade, …

14 logic  lambda-calculus  normal-forms 

Lambda Calculus ile ilgili öğreticilerin çoğu, Pozitif Tamsayıların ve Boole'ların İşlevlerle temsil edilebileceği bir örnek sağlar. -1 ve i ne olacak?

14 data-structures  lambda-calculus  integers  real-numbers 

Sanırım matematik ve programlama dili olarak adlandırılan şeyler hakkında oldukça kafam karıştı. Bir analizin, programların denkliği hakkında muhakeme için resmi bir sistem olduğunu düşünmeye eğilimliyim ve söylenmiş olabilirim. Programların, bir makine tarafından belirlenmiş, (bence?) Belirleyici olması gereken işlevsel bir semantiği vardır. Bu şekilde, dili için (doğru) bir hesap , program …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Bir birleştirici ifadesi (SK bazında diyelim), birleştirici hesap ifadelerini birleştirici hesap ifadelerine eşleyen bir işlev olarak düşünülebilir. Yani, ifadesi fonksiyonu olarak düşünülebilir ; burada , SK bazında tüm sözdizimsel olarak geçerli birleştirici ifadelerin kümesidir. Bu eşleme, girdiyi ifadeye uygulayarak ve ardından çıktıyı almak için normal forma indirgeyerek gerçekleştirilir.XXXX:L→LX:L→LX:L \to LLLL …

13 lambda-calculus  combinatory-logic 

Saf lambda hesabında bir kine örneği istiyorum . Google'da bir tane bulamadığım için oldukça şaşırdım. Quine sayfası , birçok "gerçek" dil için quines listeler, ancak lambda hesabı için değil. Tabii ki, bu, aşağıda yaptığım lambda hesabındaki bir quine ile ne demek istediğimi tanımlamak anlamına geliyor. (Oldukça spesifik bir şey istiyorum.) …

13 lambda-calculus 

Fonksiyonel programlama, yedek teori olarak çok zarif Lambda Calculus ve varyantlarına sahiptir. OOP için böyle bir şey var mı? Nesneye yönelik model için soyutlama nedir?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Benzer bir soruyu cstheory'de sordum . Stackoverflow'daki bu cevaba göre, tembel olmayan bir saf fonksiyonel programlama dilinde bir karmaşıklığına sahipken, zorunlu programlamada aynı algoritma Ω ( n ) olan bir algoritma vardır . FP diline tembellik eklemek algoritmayı Ω ( n ) yapar .Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) Yüksek Dereceli Fonksiyonlar ile …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

Öncelikle, aşağıdaki metnimin hata içerebileceğini söylemek istiyorum, bu yüzden soruyu formülasyonumdaki hataları belirtmekten çekinmeyin. Bu sözdizimi ile terimleri verilen booleans ve if-ifadeleri ile türlenmemiş bir lambda hesabı düşünün: t ::= v | t t | if t t t | x v ::= \x.t | #t | #f Bu durumda …

12 programming-languages  lambda-calculus 

Bağlama duyarlı gramerleri anlamaya çalışıyorum. Dillerin neden hoşlandığını anlıyorum { w w ∣ w ∈ A*}{ww|w∈bir*}\{ww \mid w \in A^*\} { anbncn∣ n ∈ N }{birnbncn|n∈N-}\{a^n b^n c^n \mid n\in\mathbb{N}\} bağlam içermez, ancak türetilmemiş lambda hesabına benzer bir dilin içeriğe duyarlı olup olmadığını bilmek istiyorum. Basit, ama oyuncak olmayan bir …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

İnşaatlar hesabı ve Lambda Küpü içindeki yerine bakıyorum . Doğru anlıyorsam, küpün her ekseni basit tipli analize tipler içeren başka bir işlem eklemek olarak düşünülebilir, λ→λ→\lambda_\to . İlk eksen, türler arası işleçleri, ikinci türler arası işleçleri ve üçüncü bağımlı yazma veya terimden türe işleçleri ekler. CoC üçüne de sahiptir. Bununla …

11 terminology  lambda-calculus  type-theory  dependent-types