author: Casey McCann
content: Java seems to have been designed to strike a careful balance between making
  the type system as obstructive as possible while minimizing any actual guarantees
  of correctness.
id: 60d71e02-a8ac-4ff3-884b-e52b92038162