Язык программирования ГАРФ

Из случайно оборонённого комментария к одной из статей в интернете, узнал о существовавшем когда-то функциональном языке программирования ГАРФ (GARF — Generalized Arithmetic Recursive Functions), разрабатываемом в середине 1960-х Ильёй Шмаиным, советским специалистом в области математической логики и языков программирования.

Информации о языке очень мало, наиболее полное упоминание в рунете я нашёл в статье, которая так и называется  — «Илья Шмаин»: 

Это больше, чем язык программирования, это некоторый способ, стиль программирования вместе с математической теорией этого стиля. Это программирование на основе рекурсивных функций, опирающееся на классические работы Клини и одно их обобщение, сделанное Есениным-Вольпиным.

ГАРФ — это язык функционального программирования. Но он намного более абстрактен и универсален, чем первые языки такого типа. На нем можно было определять произвольные типы объектов и произвольные (но вычислимые) функции и функционалы на этих объектах.

1. Точное описания синтаксиса и семантики. При этом синтаксис языка не фиксировался жестко. Описывалась «глубинная структура» и ее отображения в разные «поверхностные структуры», т. е. программист в принципе мог выбирать удобный для него синтаксис программы. Описывалась теоретико-модельная семантика языка и вычисления, соответствующие этой семантике.

2. Упомянутые выше «индуктивно-определяемые области» содержали, в частности, идею того, что позже стало называться объектно-ориентированным програмированием (или абстрактными типами данных). Т. е. язык содержал средства для задания любых типов объектов с заданными на них функциями и отношениями, а потом уже на такого рода областях задавалась сама программа.

3. То, что в ГАРФе «и функции, и области понимаются в самом широком смысле», означало, что можно было задавать любые функционалы, причем их определение могло содержать параметры (тем самым тип функций и объектов не фиксировался жестко).

В общем, ничего конкретного в статье нет, а жаль — упомянутое интересно, любопытно было бы взглянуть!