Можно ли построить сравнительно быструю машину нетипизированного лямбда-исчисления?
Чистое нетипизированное лямбда-исчисление - мощная концепция. Однако создание машины или интерпретатора для реального использования часто описывается как (почти) невозможное. Я хочу исследовать это. Возможно ли теоретически построить сравнительно быструю машину для нетипизированного лямбда-исчисления?
Под сравнительно быстрой я обычно подразумеваю сравнимую с современными архитектурами типа Тьюринга для аналогичного круга задач при аналогичном количестве ресурсов (ворота, операций, физического пространства, энергопотребления и т. д.)
Я не налагаю никаких ограничений на реализацию и архитектурные уровни машины, за исключением того, что она должна быть физически и в некоторой степени реалистично реализована каким-либо образом. Нет ограничений и на то, как обрабатывать ввод-вывод.
- Если возможно, каковы основные проблемы?
- Если невозможно, то почему и как?
- Каково состояние исследований в этой области?
- Какие области и темы наиболее актуальны?
Сколько известно о возможности компьютерной архитектуры, основанной на лямбда-исчислении?
Вопросы, относящиеся к аналогичной теме: