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

Ну вот языки программирования, под которыми формальная модель, почему-то всегда маргинальны. А уж делать маргинальный язык, который имеет маргинальность в его свойствах -- так вообще пользователей будут полтора человека (автор языка и полинженера). Так что формальная модель пусть будет в хотелках пока, а там поглядим. Вот сахарность -- это выход на standalone. Но при развитии языка тут же окажется, что хочется иметь полнотьюринговость, полноFOLовость и т.д.. И уж лучше сразу eDSL делать -- ибо всё одно упрёмся в то, что на базе standalone DSL будем пытаться сделать GPL со всем там необходимым, да ещё и мультипарадигмальным. Нет, этой дорогой мы ходили уже, не нужно туда. Хотя justy_tylor вот пишет компилятор как раз для такого. Но он крутой, ему можно )))