Using Haskell for sizable real-time systems: how (if?)?
At Galois we use Haskell for two things: Soft real time (OS device layers, networking), where 1-5 ms response times are plausible. GHC generates fast code, and has plenty of support for tuning the garbage collector and scheduler to get the right timings. for true real time systems EDSLs are used to generate code for … Read more