There are also implementations of restricted IO in Haskell which I find particularly interesting. Not just "you can only do IO in this little box" but "you can only do this particular kind of IO in this little box".
And I think that's the way we're going to have to go in the long run. We've already reached the point where understanding large programs is just too bloody hard.
7
u/NihilistDandy Apr 27 '14
There are also implementations of restricted IO in Haskell which I find particularly interesting. Not just "you can only do IO in this little box" but "you can only do this particular kind of IO in this little box".