Введение в теорию программирования. Функциональный подход

       

Теоретические сведения


Категориальная абстрактная машина - это математическая формализация компьютера на основе категориальной комбинаторной логики.

Состояния КАМ принадлежат пространству декартово замкнутых категорий (д.з.к.), важными свойствами которых являются тождественное преобразование, а также операции композиции, образования упорядоченной пары, взятия проекций, каррирования и аппликации.

Состояние категориальной абстрактной машины в произвольный момент времени характеризуется тройкой объектов:

<T,C,S>

где T - терм, C - код, S - стек или дамп.

Основными инструкциями КАМ являются следующие:

Fst Snd < , > e L ' car cdr push swap cons app cur quote

SML-функции для первых двух из этих инструкций имеют вид:

fun Fst(x,_)=x; fun Snd(_,y)=y;



Содержание раздела