Java/TypeChecking

This gets complicated fast when you're using generic types.

See https://charlesreid1.com:3000/cs/java/src/master/hash/README.md#timing-comparison-built-in-map-vs-hand-rolled-map

Neal Grafter's blog has a page talking about reified generics. This has to do with casting objects to generic types, and casting to objects that utilize the diamond notation, like Collections objects.

This stack overflow question addresses some similar issues.