On Fri, Jun 5, 2015 at 3:26 PM, Matt Oliveri <atma...@gmail.com> wrote: > You have a point about wanting to be able to optimize area for > particular polygon types. Type classes may indeed be better than > refinements for this. I didn't mean to argue otherwise. This started > as an example of how you _could_ use refinement types, I thought. > (Since this is the "refinement types" thread.)
When I said that, I think I was misunderstanding how Keean is using type classes. I have something in mind using type classes that I like better than refinements in some cases, but I no longer think this is what Keean is showing. _______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
