Здравствуйте, Mamut, Вы писали:
M>- как доказывать правильность этих DSL'ей?
А можешь развить мысль поподробнее? Что ты вкладываешь в понятние "правильности" DSL и каковы критерии доказнности этой правильности?
... << RSDN@Home 1.2.0 alpha 5 rev. 76>>