Types and Programming Languages Part 1 — Do not return in finally

Many languages provide exception handling construct, typically in a form of try and catch blocks. While details differ in terms what can be thrown, what can be handled etc, programmers generally assume these constructs work the same across languages. That’s not true, unfortunately, and details are often tricky when it comes to edge cases. We’ll … Continue reading Types and Programming Languages Part 1 — Do not return in finally