Как Galouis Хаскель используют.

[thesz]

http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/A-Means-to-Many-Ends-10-Years-of-Haskell-at-Galois

Уже рассказали про Хаскель на Зен, с примерами кода обработки прерываний. Сейчас рассказывают про проблемно-ориентированные языки на примере Copilot. Я на половине, примерно.

PS
Silverlight требует, но есть ссылки для скачки видео, чем я воспользовался.