10 декабря 2015 · Комментарий

Без заголовка

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

Программирование там весьма простое. Вот языки для него пока хреновые. А непересекаемость, фактически, входит в требования совместимости. В смысле отсутствия несовместимых между собой правил внутри множества применяемых микротеорий относительно специфики вывода (выводится единственный мир или разные possible worlds).