Базисный Рефал и его реализация

[vak]

Сергей Романенко отсканировал и выложил ценнейшую книжку по языку программирования Рефал. Скачать можно здесь: PDF, DJVU. Или здесь, но медленнее: PDF, DJVU.



Современные реализации Рефала можно отыскать на Гитхабе, к примеру: https://github.com/cmc-msu-ai/refal

Comments

[juan_gandhi]

О ничего себе! Там классно так; изучал его когда-то.

[vak]

На физтехе в моё время преподавали Рефал в рамках факультативного курса (середина 80-х). Правда, литературы не было никакой, даже документации к компилятору. Накопленные знания передавались от аспирантов студентам в рукописном и устном виде. Вышеуказаную книжку я ни разу в руках не держал. Ценная вещь.

[juan_gandhi]

У нас была книжка доступна, не помню, откуда. Это ж было тоже типа подпольной литературы, ах, Турчин, враг народа.

[xaxam]

Книжка вышла анонимно, авторы не были нигде указаны. ЦНИПИАСС не подставился ;-)

[ygam]

Когда мне было 14 лет, Романенко приезжал в родной Харьков, и рассказывал мне о РЕФАЛе, а когда мне было 15, папа со мной приезжал в Москву, встречался с Романенко, и спрашивал, имеет ли мне смысл попытаться учиться в Москве. Ух, как сильно за 30 лет все изменилось!

[vak]

Хорошо, что изменилось. Слишком уныло всё тогда было вокруг советской вычислительной техники.

[ygam]

В 1986 году самый мощный суперкомпьютер в мире был Крей-2. Сейчас самый мощный суперкомпьютер в мире - Шэньвэй Тайху, в 50 миллионов раз мощнее.

[vak]

Слава богу, нам уже не нужно сравнивать с "самым мощным в советском союзе".

[cema]

Thanks.

[spamsink]

Я в детстве (в 7-м классе, видимо, ранней весной 1981) познакомился с этой книжкой очень окольными путями. На ВЦ АН Рефал был, и даже чуть более новая версия, нежели описанная в книге. Если мне память не изменяет, я попытался написать программу для решения логических головоломок, но особо не преуспел: она работала, какие-то инференции делала, но решение не находила.

[vak]

Когда на физтехе нам читали лекции по мат.логике, а лектор был крайне скучный, я к концу лекции соорудил простенький симулятор машины Тьюринга на Рефале. Успешно прогнал на нём пару классических задачек, типа умножения целых чисел.

[ygam]

До меня только что дошло, что современный Рефал - это XSLT. Ну я и жираф, при том, что код на XSLT писал буквально пару часов назад.

[vak]

В определённом смысле так и есть.