On Mon, Mar 2, 2015 at 12:56 AM, Keean Schupke <[email protected]> wrote: > I am also not convinced having subtyping in the type system is a good idea. > Mixing parametric polymorphism, type-classes, and subtyping sounds like > going the same way as Scala, and towards an unsound and undecidable type > system.
indeed I have concerns about this as well... _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
