ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
29 марта
652629 Топик полностью
Evgeny_CD, Архитектор (12.02.2016 16:28, просмотров: 279) ответил TimeZoneDefault на в режиме прохожего: система подвергается функциональной декомпозиции -> записывается на хаскеле. далее
Спасибо! Да, у них там есть хаскельный код в репозитории, и какой-то кодогенаратор на их собственном DSL. Все это весьма близко к подходам, которые я здесь много лет ковыряю. А именно - программист пишет не "сразу в С", а в некий DSL, который, в силу своих свойств, удобен для верификации, визуализации и прочего, а далее изоморфная трансляция DSL <-> C, что есть самое нетривиальное...