[_pmf_]

> It's "statically typed" vs. "dynamically typed" that is the useful distinction.

I officially propose to use the term "accidentally typed" or "eventually typed".