SECD-машина

 
0
 
Functional languages
ava
res2305 | 05.06.2012, 17:47
В литературе по функциональному программированию не могу найти алгоритм/спецификацию/порядок работы SECD-машины Лэндина.
Т.е. есть описание того, что лямбда-выражение может быть обработано SECD-машиной Лэндина, бывают даже реализации SECD-машины, но на функциональном же языке.
Видел ссылку и просмотрел какой-то код разбора лямбда-выражения на С++ и С#, но... есть где-нибудь схематичное описание работы SECD-машины?
Есть необходимость знать как работает SECD-машина, чтобы это можно было понять императивно,  в общем смысле, схематично.
Comments (2)
ava
Sajtran | 13.01.2013, 10:31 #
поищи в сети
Филд А., Харрисон П. Функциональное программирование (1993)
там общие принципы описаны
ava
yazu | 02.04.2013, 18:25 #
Хендерсон П. Функциональное программирование. Применение и реализация, Мир, 1983

Там все, кажется, по полочкам разложено (лет 10 хочу прочитать, но дальше первой главы не получается - и не то, что сложно, а как-то не нужно, что-ли. Лень-матушка, короче). Правда типа на Лиспе и в виде Лиспа. В сети есть
Please register or login to write.
Firm of day
Вы также можете добавить свою фирму в каталог IT-фирм, и публиковать статьи, новости, вакансии и другую информацию от имени фирмы.
Подробнее
Contributors
  Sajtran   yazu   res2305
advanced
Submit