On Wed, Jul 9, 2014 at 6:43 PM, Matt Oliveri <[email protected]> wrote:
> 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. If the separate checker terminated, we'd be using it as the primary checker.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
