On Fri, Feb 27, 2015 at 4:35 AM, Keean Schupke <[email protected]> wrote: > >> A deeper inference on the constraint gives us the offsett of #name >> into 'this', and the type returned, etc, and this gives us a basis for >> judging the equivalence of T1.foo and T2.foo, and a way to compare the >> compatibility of a deeply infered constraint with a type as a basis >> for whether its safe to cast > > > I personally don't think casting is the right way. Type driven dispatch (as > in type-classes) seems a much better approach.
I guess what I find compelling about it is that since functions have a type we can use this for both static and dynamic shenanigans _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
