"Strong typing vs. strong testing"

[rustom]

On Oct 1, 7:17 pm, Rui Maciel <rui.mac... at gmail.com> wrote:

> a) no language is inherently more or less efficient than any other language.  The efficiency
> aspect is only related to how those languages are implemented (i.e., the investments made in
> optimizing the compilers/interpreters)

I used to believe the same. But if you see Richard Bird's paper:

More haste less speed http://www.comlab.ox.ac.uk/people/richard.bird/online/BirdJonesDeMoor1997More.pdf

maybe you would rethink this position?