I just wondered if the Implicit calculus: http://homepages.inf.ed.ac.uk/wadler/papers/implicits/implicits.pdf
would make a good basis for implicits in BitC, it claims to solve a couple of the issues with Haskell type classes. Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
