LJC Lambdas Hackday

[Ben Evans]

On Mon, Jun 4, 2012 at 3:51 PM, Brian Goetz <brian.goetz at oracle.com> wrote:
>
> The problem with hacking type inference is that it is an endless loop of:
>
>  - Someone finds a case where type inference fails, but the right answer is "obvious"
>  - Endless machinations and distortions ensue to try and make that case "go away"
>  - Go to step 1

Whilst in parallel, the following timebomb is waiting to go off:

Some combination of type inference features provides an undesired,
non-obvious result.

If not caught in time, the language degenerates into something in
which one can only produce unmaintainable crap.

Type inference is a real "repent at leisure" part of the spec.

Thanks,

Ben