Czytałem gdzieś, że obecny model maszyny nie nadaje się do programowania funkcjonalnego. Jakie są ograniczenia bieżącego modelu maszyny? Czy opracowano bardziej odpowiedni model maszyny?Model maszyny do programowania funkcjonalnego
Landin's SECD machine był jednym z pierwszych zaprojektowanych do oceny wyrażeń matematycznych lambda. Ager i wsp. obejmują inne abstrakcyjne i wirtualne maszyny zaprojektowane do tego samego w swoim artykule "A Functional Correspondence between Evaluators and Abstract Machines".
Tak, został opracowany. Oto artykuł na temat Lisp Machine.
Maszyny Lisp zostały zoptymalizowane do uruchamiania programów Lisp, ale nie były modelami maszyn. Co więcej, z tego co rozumiem, wciąż były sekwencyjne. Odpowiedni model maszyny do (czystego) programowania funkcyjnego nie powinien być sekwencyjny. – outis