[Haskell] Global Variables and IO initializers: A proposal and semantics

[Andy Moran]

Nothing to add, other than to point people at a different solution, using 
implicit parameters and rank-2 types:

http://www.cs.chalmers.se/~rjmh/Globals.ps

Admittedly, John's approach interacts in a prickly manner with the 
monomorphism restriction, but it does allow for the safe updating of global 
variables (which the unsafePerformIO technique does not).

Cheers,

Andy

-- 
Andy Moran                                         Ph. (503) 626 6616, x113
Galois Connections Inc.                                 Fax. (503) 350 0833
12725 SW Millikan Way, Suite #290                     http://www.galois.com
Beaverton, OR 97005                                        moran at galois.com