Are there any static duck-typed languages?

Question

Can I specify interfaces when I declare a member?

After thinking about this question for a while, it occurred to me that a static-duck-typed language might actually

Answer 1

Sounds like Mixins or Traits:
http://en.wikipedia.org/wiki/Mixin http://www.iam.unibe.ch/~scg/Archive/Papers/Scha03aTraits.pdf