I had the same thought - what Matt's examples required was strong typing and that has existed for very long time outside of the C family world.