Pytania otagowane jako lisp

1
Historyczna relacja między wpisaną metodą Lambda Calculus a Lisp?
Niedawno rozmawiałem z przyjacielem (który jest zwolennikiem silnie pisanych języków). Skomentował: Wynalazcy Lambda Calculus zawsze zamierzali go pisać na maszynie. Teraz widzimy, że Kościół był związany z tym po prostu wpisane rachunek lambda . Rzeczywiście wydaje się, że wyjaśnił on prosty typ rachunku Lambda, aby ograniczyć nieporozumienia dotyczące rachunku Lambda. …
1
Czy kontekstowa równoważność języka z `quote`-`eval` jest trywialna, czy nie?
W [1] Mitchell Wand wykazał, że dodanie fexprs do czystego rachunku lambda trywializuje teorię równoważności kontekstowej, co oznacza, że ​​dwa terminy są równoważne kontekstowo, jeśli są zgodne. Badając pokrewną pracę, stwierdził: „nasz wynik rozszerza starą obserwację Alberta Meyera [2] i czyni banalną równoważność kontekstową”. Ale odnosząc się do [2], można …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.