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