>>52
I don't typically use reddit. Do you think reddit invented _those_ *kinds* of convention? I'm not interested in playing markup oneupmanship, just adding some light emphasis.
In addition I'd argue that the difference between 'implicit typing' vs 'type inference' and 'explicit typing' vs 'manifest typing' (which appears in your link) is a matter of terminology. I don't see why you'd want to spend energy discussing it.