dburrows/ blog/ entry/ from-blogspot/ Hungarian notation is a human-checked type system, redux