| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Функциональные языки: общие вопросы > SECD-машина |
| Автор: res2305 5.6.2012, 16:47 |
| В литературе по функциональному программированию не могу найти алгоритм/спецификацию/порядок работы SECD-машины Лэндина. Т.е. есть описание того, что лямбда-выражение может быть обработано SECD-машиной Лэндина, бывают даже реализации SECD-машины, но на функциональном же языке. Видел ссылку и просмотрел какой-то код разбора лямбда-выражения на С++ и С#, но... есть где-нибудь схематичное описание работы SECD-машины? Есть необходимость знать как работает SECD-машина, чтобы это можно было понять императивно, в общем смысле, схематично. |
| Автор: Sajtran 13.1.2013, 10:31 |
| поищи в сети Филд А., Харрисон П. Функциональное программирование (1993) там общие принципы описаны |
| Автор: yazu 2.4.2013, 18:25 |
| Хендерсон П. Функциональное программирование. Применение и реализация, Мир, 1983 Там все, кажется, по полочкам разложено (лет 10 хочу прочитать, но дальше первой главы не получается - и не то, что сложно, а как-то не нужно, что-ли. Лень-матушка, короче). Правда типа на Лиспе и в виде Лиспа. В сети есть |