> The slippery slopes in subtyping mainly have to do with interactions between > subtyping and type inference. There is a huge research literature on this, > and the devil is in the details. There are several ways to dodge or mitigate > the bullets. We're not far enough along in BitC to know whether those will > work for us yet, which is part of my hesitation. I also hesitate because > once you commit yourself to dodging a bullet in a particular way, that > choice will tend to constrain the future ways in which the type system of > the language can evolve.
possible to make it a separate system, like Dialyizer or (sorta) Typed Racket so that the core language doesn't care, and the inference/analysis can be revised and revamped separately? _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
