I have just read Hans Boehm's POPL paper on finalizers. His
suggestion for the use of finalizers in single-threaded systems is
to provide a `runFinalizers' routine, instead of relying on the
asynchronous execution that, as established, requires support for
concurrency.
I think there
Does anyone plan to add support for multiple OS threads to Hugs or NHC?
I think it will depend a bit on the complexity so let me sketch how I
think it can be implemented.
First let me outline my current understanding of what 'bound' means.
Consider the following scenario:
Haskell program is