> 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?). C++ (using templates).