I'm not sure that this is relevant to the original thread, but I think
you missed one of the main things that an OS could provide in support of
languages such as Haskell: garbage collection. There are all sorts of
malloc-like things that could be better supported, as well as things
like handles to "fonts", "brushes", etc. which need to be explictly
created and destroyed for efficiency reasons in the Win 32 API, for
example. (Perhaps now that Java is here we'll see OS's starting to
provide such support :-)
-Paul
