Inferring Exception type of a lambda body

Maurizio Cimadamore maurizio.cimadamore at
Tue Feb 5 10:29:41 PST 2013

On 05/02/13 18:16, Zhong Yu wrote:
> My suggestion for the inference rule is, very simplistically,
> If E has not been inferred from previous steps, and E is in the throw
> clause, and E has an upper constraint E<<X,
>      if X:>RuntimeException, infer E=RuntimeException
>      otherwise, infer E=X. (X is an Error or a checked exception)
Stay tuned - we are evaluating something along these lines


More information about the lambda-dev mailing list