On Wed, Jul 9, 2014 at 9:29 PM, Jonathan S. Shapiro <[email protected]> wrote: > On Wed, Jul 9, 2014 at 5:57 PM, Raoul Duke <[email protected]> wrote: >> 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? > > Not possible. The inference mechanism is the type checker.
I don't see why not. You'd have a separate type checker with better inference that would add the necessary explicit coercions to the source code for the basic type checker to swallow. That isn't what Raoul's examples are doing though, since they seem to be refinement typing for untyped languages. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
