Tôi đã đọc ở đâu đó rằng kiểu máy hiện tại không hoàn toàn phù hợp với lập trình chức năng. Vậy những hạn chế của mô hình máy hiện tại là gì? Có một mô hình máy phù hợp hơn được phát triển?Mô hình máy để lập trình chức năng
Landin SECD machine là một trong những thiết kế đầu tiên để đánh giá các biểu thức tính toán lambda. Ager et al. bao gồm các máy ảo và trừu tượng khác được thiết kế để thực hiện tương tự trên giấy "A Functional Correspondence between Evaluators and Abstract Machines" của chúng.
Có, nó đã được phát triển. Đây là một bài viết trên Lisp Machine.
Máy Lisp được tối ưu hóa để chạy chương trình Lisp, nhưng không phải là kiểu máy. Hơn nữa, từ những gì tôi hiểu, họ vẫn còn tuần tự. Một mô hình máy phù hợp cho lập trình chức năng (thuần túy) không nên tuần tự. – outis