[notes] Runtime or Types?

from blog Sympolymathesy, by Chris Krycho, | ↗ original
Static types are *always* checking some (subset of) runtime behavior. The interesting question is: How much?