Tag: Boomerang

Short Circuits, Bottom Types, and the Vacuous Boomerang

It’s a real program, I promise. It compiles and runs. Try it! It works because throw return is an expression of type Nothing. Normally, an expression is a piece of code that produces a value. When you write something like val x = 1 + 1, you’re saying “ev...