Duck typing is one form of it, yes. But interfaces are not always inferred- Go has you specify the interfaces themselves, Haskell typeclasses have you specify the implementation, but it's still the same idea.