Haskell в самолетике

[metaclass]

Copilot
Из хаскелевого DSL генерируется код на С для встраиваемых систем. В данном случае - для контроллеров в самолетике.
Народ за гранты NASA занимается явным удовлетворением собственного любопытства.

Comments

[thedeemon.livejournal.com]

Конечно, надо же было Агду использовать! На Хаскеле доказательство корректности плохо делать. ;)

[thedeemon.livejournal.com]

А я недавно имел дело с одной калифорнийской компанией, делающей автопилоты для всяких беспилотников. У них часть проектов на С++/CLI, вот где ужос.

[nivanych.livejournal.com]

;-) А как надо было? И чем это решение плохое?
Ну и кроме того, это не только собственного любопытства.
Пригодится их опыт.