The philosophy of Nothing

Paul Benedict pbenedict at
Sun Nov 29 18:14:59 PST 2009

Thanks Neal. Reiner, your explanation was very good.

So basically Nothing can be used outside of closures:
public Nothing throwMe(RuntimeException t) {
    throw t;

1) Does the Java compiler have to prove a method can never return normally?

2) What is the benefit of telling the compiler the method *must* throw
an Exception? Don't say read the spec :-) I did, but it's sparse on
the purpose

3) For a method that returns Nothing, if a class transformer alters
the method body and actually issues a return, what happens? is a JVM
Error thrown?


More information about the coin-dev mailing list