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

Andy Moran moran at galois.com
Wed Oct 13 12:51:41 EDT 2004

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


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).



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

More information about the Haskell mailing list