Types and Programming Languages Part 3 — Finally during termination
This is the third part of the Types and Programming Languages series. For your convenience you can find other parts in the table of contents in Part 1 — Do not return in finally Let’s take the following code: Let’s say there is no catch block anywhere on this thread. What’s going to happen? That … Continue reading Types and Programming Languages Part 3 — Finally during termination