> Non-duck typing is a seriously bad idea, forced > on some other languages by static typing. Static != non-duck. One could imagine static duck typing (is it the same as structural typing?) with type inference. I wonder if some existing languages have static duck typing (boo? haskell?).