This special Guru of the Week series focuses on contracts. We’ve seen how postconditions are directly related to assertions (see GotWs #97 and #99). So are preconditions, but that in one important way makes them fundamentally different. What is that? And why would having language support benefit us even more for writing preconditions more than … Continue reading GotW #100 Solution: Preconditions, Part 1 (Difficulty: 8/10)→
