1 апреля 2010 · Комментарий

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

Анатолий Левенчук · Оригинал в ЖЖ ↗ · Ссылка на запись

Сейчас промежуточным "языком умолчания" для всех этих воркбенчей является Java (Eclipse modeling framework, JetBrain MPS, Whole Platform и так далее со всеми остановками). Как я понимаю, есть попытки сделать workbench над логикой: это плагины Protege, а также более специализированные TopBraid и NeOn. Появился также iRing (для ISO 15926), но он существенно заточен сейчас под OWL, хотя оригинальная модель данных там HOL. Но я что-то немного знаю работ, в которых сначала какие-то императивные процедуры переводят в HOL, а только потом транслируют на ассемблер -- и пытаются затем отладиться, передавая информацию выполнения ассеблера в HOL, а оттуда "переводя" на язык исходного императивного представления. Что-то в этом кривое видится... Мне кажется, что при наличии мультипарадигмального изначально и полностью рефлексивного языка (типа языка функциональной логики) в качестве "промежуточного" перед "ассемблером" жизнь должна становиться легче. Хотя люди в VPRI вообще идут другим путем, и "выворачивают наизнанку" реализацию языка, делая ее расширяемой -- хоть на HOL, хоть на ассемблерные вставки...