duck typing is an informal term, no? i think it's fair to think of structural typing as "compile time duck typing".