«lisp» etiketlenmiş sorular

Yakın zamanda bir arkadaşımla (çok iyi yazılmış dillerin savunucusu olan) bir tartışma yapıyordum. Yorum yaptı: Lambda Matematik'in mucitleri her zaman yazılmasını istediler. Şimdi görebilirsiniz Kilisesi ile ilişkili bulunmuştur Basitçe Yazılan Lambda Calculus . Gerçekten de, Lambda Hesabı hakkındaki yanlış anlaşılmayı azaltmak için Basitçe Yazılan Lambda Analizini açıklamış gibi görünüyor. Şimdi …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

[1] 'de, Mitchell Wand, saf lambda hesabına fexprs eklemenin, bağlamsal eşdeğerlik teorisini önemsizleştirdiğini, yani iki terimin, eşdeğer oldukları sürece bağlamsal olarak eşdeğer olduğunu gösterdi. İlgili çalışmaları incelerken, "sonucumuz eski bir Albert Meyer gözlemini genişletiyor ve bağlamsal eşdeğerliği önemsiz hale getiriyor " dedi. Ancak [2] 'ye atıfta bulunulabilecek şey, Meyer tarafından …

13 pl.programming-languages  lisp  scheme 

Şimdi görebilirsiniz Kilisesi ile ilişkili bulunmuştur Basitçe Yazılan Lambda Calculus . Gerçekten de, Lambda Hesabı hakkındaki yanlış anlaşılmayı azaltmak için Basitçe Yazılan Lambda Analizini açıklamış gibi görünüyor. Şimdi John McCarthy Lisp'i yarattığında - Lambda Calculus'a dayandırdı . "Sembolik ifadelerin özyinelemeli işlevleri ve bunların makine ile hesaplanması, Bölüm I" i yayınladığında, …

13 lambda-calculus  term-rewriting-systems  lisp