-----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----- _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
