[Haskell-cafe] Well typed OS

John Z. johnz at pleasantnightmare.com
Fri Oct 5 17:18:29 UTC 2018

>  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:


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."

More information about the Haskell-Cafe mailing list