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.
Teraz, kiedy John McCarthy stworzył Lisp - oparł go na rachunku Lambda Calculus . Jest tak, jak sam przyznał, kiedy opublikował „Rekurencyjne funkcje wyrażeń symbolicznych i ich obliczanie przez maszynę, część I” . Możesz to przeczytać tutaj .
Wygląda na to, że McCarthy nie zajął się Rachunkiem Lambda po prostu. To zdaje się być zdominowane przez Robyn Milner z ML .
Istnieje pewna dyskusja na temat relacji między Lisp i rachunek lambda tutaj , ale tak naprawdę nie dostać się do dołu dlaczego McCarthy zdecydował się pozostawić go bez typu.
Moje pytanie brzmi - jeśli McCarthy przyznaje, że wiedział o rachunku Lambda - dlaczego zignorował rachunek Lambda na maszynie? (tj. - czy to naprawdę oczywiste, że Lambda Calculus miał być napisany na maszynie? To nie wydaje się takie)