A (Haskell DSL) stream language for generating hard Real-Time C code | Dark Hacker News