[jolux]

It’s structural static typing, a perfectly cromulent class of type system, and much more easily compatible with dynamics types.