Pertanyaan yang diberi tag «lisp»

Saya sedang berdiskusi dengan seorang teman baru-baru ini (yang merupakan penganjur bahasa yang sangat diketik). Dia membuat komentar: Para penemu Lambda Calculus selalu berniat untuk mengetik. Sekarang kita dapat melihat bahwa Gereja dikaitkan dengan yang Cukup Diketik Lambda Kalkulus . Memang, tampaknya ia menjelaskan Kalkulus Lambda Cukup Ketik untuk mengurangi …

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

Dalam [1], Mitchell Wand menunjukkan bahwa menambahkan fexprs ke kalkulus lambda murni meremehkan teori kesetaraan kontekstual, yang berarti dua istilah setara secara kontekstual jika mereka -congruent. Ketika menjelajahi pekerjaan terkait, ia pergi "hasil kami memperluas pengamatan lama Albert Meyer [2] itu dan membuat sepele kesetaraan kontekstual". Tetapi merujuk pada [2], …

13 pl.programming-languages  lisp  scheme 

Sekarang kita dapat melihat bahwa Gereja dikaitkan dengan yang Cukup Diketik Lambda Kalkulus . Memang, tampaknya ia menjelaskan Kalkulus Lambda Cukup Ketik untuk mengurangi kesalahpahaman tentang Kalkulus Lambda. Sekarang ketika John McCarthy menciptakan Lisp - ia mendasarkannya pada Kalkulus Lambda . Ini dengan pengakuannya sendiri ketika ia menerbitkan "Fungsi rekursif …

13 lambda-calculus  term-rewriting-systems  lisp