KK
Так что компилятор - это все-таки правильно, но что-то да собирает)
Size: a a a
2020 May 10
CC
Полагаю что не компилит, а делегирует компиляцию
CC
Ну короче - трудности перевода)
KK
Ну да, есть такое
CC
Можно и компилятором назвать, зависит от точки зрения
KK
Ну оно пакет то формирует)
MV
судя по всему, у них свой язык для описания системы безопасности и компилятор на хаскеле в си к нему
CC
судя по всему, у них свой язык для описания системы безопасности и компилятор на хаскеле в си к нему
Ну у них очень специфическая отрасль, как минимум DSL должны были бы описать
MV
я знаю, что там есть толковые функциональщики на этом проекте
CC
Но чтобы прям кастомный язык декларации систем безопасности, не знаю
MV
так что вполне язык под силу
CC
Ну компилятор и я написать могу, только вот качество будет не ахти
CC
Под силу почти любому, только вот зависит от того, насколько хорошо это реализовано
MV
это правда
MV
наверное безусловный критерий успеха тут - если кто-то ещё по своей воле будет пользоваться этим компилятором
KK
Ну по сути самый минимум там может и рандомный школьник написать: берется лекс парсер, пишется грамматика, а потом ... ифики
CC
Ну по сути самый минимум там может и рандомный школьник написать: берется лекс парсер, пишется грамматика, а потом ... ифики
Если хаскелль то там монадические парсеры, профункторы бифункторов и остальной функциональный зоопарк)
KK
Да и лекс парсер в принципе не сверх сложная штука
IL
Да и лекс парсер в принципе не сверх сложная штука
Да, легкая
IL
а сочетание флекс + бизон позволяет даже что-то рабочее делать