If looking into low-level Haskell, you might find House interesting given they did an OS in it: http://programatica.cs.pdx.edu/House/ http://programatica.cs.pd

If looking into low-level Haskell, you might find House interesting given they did an OS in it: http://programatica.cs.pdx.edu/House/ http://programatica.cs.pdx.edu/House/ Although old, there's probably some useful concepts in there for balancing low-level needs against what Haskell gives you. I figure recent work in Haskell, Rust, and Idris might even be combined with their techniques for better results. Under HASP project, were designing a version of Haskell for systems programming called Habit, but one or more got poached into better project. Here's that language: http://hasp.cs.pdx.edu/habit-report-Nov2010.pdf http://hasp.cs.pdx.edu/habit-report-Nov2010.pdf