[Haskell-cafe] Re: Top Level <-
Brandon S. Allbery KF8NH
allbery at ece.cmu.edu
Sat Sep 6 11:25:23 EDT 2008
On 2008 Sep 6, at 11:22, Ganesh Sittampalam wrote:
> On Sat, 6 Sep 2008, Brandon S. Allbery KF8NH wrote:
>> On 2008 Sep 6, at 6:10, Ashley Yakeley wrote:
>>> The set of ACIO expressions exp is the "static initialisers" of M.
>>> The RTS must note when each static initialiser is run, and cache
>>> its result val. Let's call this cache of vals the "static results
>>> cache" of M.
>>> When M is loaded, and a static results cache for M already exists,
>>> then it will be used for the vals of M.
>> This sounds "reachable" to me, and therefore static overhead and
>> not a leak.
> You can call it what you like, but it's still unacceptable
> behaviour, particularly since clients of M will have no way of
> telling from its API that it will happen.
You want run-once behavior without giving the runtime the ability to
tell that it's already been run?
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university KF8NH
More information about the Haskell-Cafe