Я где-то читал, что текущая модель машины не совсем подходит для функционального программирования.Итак, каковы ограничения текущей модели машины?Была ли разработана более подходящая модель машины?
Машина Лэндена SECD была одной из первых, разработанной для оценки выражений лямбда-исчисления. Ager et al. В статье " Функциональное соответствие между оценщиками и абстрактными машинами * " рассматриваются * абстрактные и виртуальные машины.
Да, это было разработано.Вот статья о Lisp Machine .