On Thu, Jul 3, 2014 at 10:57 AM, Geoffrey Irving <[email protected]> wrote:
> > By the way: the reason I don't think this is a problem is that the > compiler can just give up after a while and say "I'm not sure". I > don't see how this pragmatic solution differs from standard > Hindley-Milner eating all the RAM in the universe due to exponential > blowup even with a simple decidable type system. It's *very* different. If two systems differ in RAM, that's an easy thing to fix. If two compilers differ in when they choose to quit on the problem, that's a failure of language definition. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
