On Wed, Jan 7, 2015 at 7:44 PM, William ML Leslie < [email protected]> wrote:
> I assumed views == newtype. The implementation described is more like > a Shwarz transform but you can do this at type level if you wish. In the presence of value types it isn't just newtype because of the need to avoid gratuitous copies, but in general, it's some kind of wrapper type that gives a place to stand for syntax-directed overload resolution shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
