> Perhaps I am confused after all. I fail to see how Go can be statically typed, with, in particular, specific types for each function parameter, as well as "duck typed", where any type which provides certain methods will be accepted. If types must be known at compile-time then what would be the point of "duck typing"?
The point is: no need to design and maintain a type *hierarchy*. This point looks orthogonal to the static versus dynamic debate.