The problem with casts is they can fail, even this :
case t of
(x :: X) -> ...
otherwise -> ...
Would be better, but I would prefer to constrain 't' to a type-class.
Keean.
On 27 February 2015 at 12:49, Matt Rice <[email protected]> wrote:
> 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
>
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
