On: Seven deadly sins of talking about “types” (2014)

[frowaway001]

With your reasoning bugs would have just stopped existing altogether decades ago.

Obviously they haven't.

[infraruby → frowaway001]

Suppose a function f(a, b) should return the sum of its arguments (i.e. a + b). What tests would you write for this function?