Лола

Изучая Lola

Поизучал описание языка Lola, в итоге понял, что MODULE это такая радиодеталь с ножками, вход/выход, внутренние преобразования по заданным функциям, вот это всё. Подумал над применением в программировании акторов или агентов, ведь агент это та же радиодеталь, датчики как входы, манипуляторы, как выходы. На программном урове, это всё, конечно, укладывается в понятия направленного канала сообщений и сообщения. Сообщением в LEAF можно сделать любой тип данных, передавать можно значения, или даже указатели, если они будут защищены от записи.

Придумалось тут:

UNIT Fib
	VAR res+, n- INTEGER
	VAR f Fib
PROCESS
	f.n <- n - 1
	res <- IF n # 0 THEN n + f.res ELSE 1 END
END Fib

UNIT Fact
	VAR res+, n- INTEGER
	REG x INTEGER
INIT
	x <- 1
PROCESS
	res <- IF n = 0 THEN x END
	x <- IF n # 0 THEN x*n ELSE 1 END
	n <- IF n # 0 THEN n - 1 END
END Fact

UNIT Top
	REG x, y INTEGER
	VAR fi Fib
	VAR fa Fact
PROCESS
	fi.n <- 10
	x <- IF x = 0 THEN fi.res END
	fa.n <- 10
	y <- IF y = 0 THEN fa.res END
END Top

В целом, как и в Lola, есть только инструкция присваивания. Точнее даже не присваивания, а ожидания. Вся активность модулей определяется итерациями инструкций внутри секции PROCESS. Формально, это статичное описание состояния, а не итерации, но исполнять иначе не получится. По завершению первой итерации модуль Top ожидает от Fib и Fact сообщений из выходного канала res, так как условие x = 0 истинно. Наверное, так устроены все декларативные языки.