Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

Category:

Суперкомпиляция и DSL: тренажер для мозгов

В суперкомпиляции дела, оказывается не остановились. Из последних разработок -- "специализатор" (то бишь "оптимизатор") для языка CIL (язык нижнего уровня для .NET и MONO): http://code.google.com/p/cilpe/, суперкомпилятор "подмножества Haskel"l на языке Scala http://code.google.com/p/hosc/

Абсолютно живой блог по суперкомпиляции ("метавычисления и специализация программ") -- http://metacomputation-ru.blogspot.com/, 5 соавторов.

Я в последние несколько дней думаю, как тренировать системное мышление, в которое входит свободное обращение с мета-уровнями и языками. Почитал я эти "суперкомпиляторские тексты" и подумал, что учебный курс по суперкомпиляции был бы как раз правильным инструментом разминки мозгов -- там мета на мете и метой погоняет, причем это суть вполне сформулированного учебного предмета. И особенно интересно -- заход с суперкомпиляцией на DSL (про это несколько статей в блоге суперкомпиляторщиков), от которого уже и до language workbenches недалеко, хотя и не до PLM/САПРовских. Но кто сказал, что не до PLM/САПРовских? Может статься, что через развитый общеязыковый (не-САПРовский) инструментарий дорога в САПРы окажется короче...

Найти бы что-нибудь подобное для презентационной стороны вопроса, работы с изобразительными синтаксисами...
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 3 comments