[Haskell] Re: Simple IO Regions

[Flarelocke]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
 
Dominic Steinitz wrote:
>> I really like the way you use a set of constraints
>>     (IN m1 ms, IN m2 ms, IN m3 ms)
>> to maintain the set of marks.  Previously I've thought of using a nested
>> tuple type
>>     (m1, (m2, (m3 ())))
>> to maintain the set, but that is far less convenient.  Very neat.
>>
>> Why do you need the
>>     instance IN () b
>> ?
>
> This makes me realise I understand this less than I thought. Can
someone give
> an explanation of how the marks get built up?
Perhaps one of these papers will help:
http://www.cs.cornell.edu/people/fluet/research/rgn-monad/

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
 
iD8DBQFDznAnawZM6Kn3RRwRAk73AKDMjy5Ls0lmohtJuPQT3Azi6pzc5QCcCmem
EjKr0py9UtK1ZTIgmRzuTa8=
=W8Id
-----END PGP SIGNATURE-----