LVV>>- о несоответствия архитектуры фон Неймана лямбда-исчислению (функциональное программирование)
V>Скорее, гарвардская архитектура не соответствует, но её можно рассматривать как фон-неймановскую на этапе, когда писать в часть "ленты" уже не требуется.
V>А так-то абстракция стек-машинки вполне ложится на лямбда-исчисление.
V>(разве что размеры стека ограничены, ну да раскрутка хвостовой рекурсии в помощь)
Да, конечно.
Просто давно это было, и я подзабыл, что в серии МО ЭВМ выходила книжка по функциональному программированию
Там и описывалась стек-машина, на которой все работало.
НО это было еще в СССР и я тогда не сильно интересновался ФП.
LVV>>- о том, что руководство МИТ следует моде
V>Вернее, исходит из того, что есть.
V>Бо на сейчас нет адекватных языков для начала обучению программированию от слова совсем.
На мой взгляд есть, как минимум 2 языка для обучения
1. Оберон
2. Go