[Haskell-cafe] Well typed OS

[John Z.]

>  Hi,
> ...
> its use of the machine. For example, `echo` (String -> String) won't be
> able to print an output without a second program which would handle
> changing stdout.

For this specific example, it might be enough to just use something like
Turtle from Gabriel Gonzales:

    http://hackage.haskell.org/package/turtle

which -to me- signals that problem doesn't necessarily have to stretch
so far as to implement a whole OS. Maybe just fixing smaller pieces here
and there would provide much higher bang for the buck.


-- 
"That gum you like is going to come back in style."