Недавно я написал много программ для лямбда-исчисления и хотел бы запустить некоторые из них в режиме реального времени. Тем не менее, так как трендовая функциональная парадигма основана на лямбда-исчислении и правиле B-сокращений, я не смог найти ни одного оценщика, который не был бы игрушкой и не предназначен для эффективности. Функциональные языки должны быть быстрыми, но те, кого я знаю, на самом деле не предоставляют доступ к нормальным формам (см. Ленивый оценщик Haskell, замыкания Scheme и т. Д.), Поэтому не работают в качестве оценщиков LC.

Это заставляет меня задуматься: просто ли невозможно эффективно оценить термины лямбда-исчисления, это просто историческая случайность / отсутствие интереса, что никто не решил создать для него быстрый оценщик, или я просто что-то упустил?