Sun Nov 5 09:35:40 EST 2017

Systems programming needs a real language

What I'm trying to do in Haskell is not going to cut it.  Something
needs to catch the need for turing completeness at the lowest level.
Once the problem domain is separated from the hardware, it might be
possible to use reduced expressivity languages.