On Sat, 6 Sep 2008, Brandon S. Allbery KF8NH wrote:
On 2008 Sep 6, at 18:25, Ashley Yakeley wrote:
2. If the dynamic loader loads an endless stream of different modules
containing initialisers, memory will thus leak.
I think if the issue is this vs. not being able to guarantee any
once-only semantics, i consider the former necessary overhead for proper
program behavior.
Not leaking memory is an important part of proper program behaviour.
And that, given that there exists extra-program global state that
one might want to access, once-only initialization is a necessity.
In what cases? In the case of buffered I/O there's no reason (in theory)
you couldn't unload libc, do unbuffered I/O for a while, then reload libc
and start again.
Ganesh
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe