Structural typing works very well in StandardML (and in Ocaml these days too). It's not structural typing, but how you use it. One of the biggest benefits of s

Structural typing works very well in StandardML (and in Ocaml these days too). It's not structural typing, but how you use it. One of the biggest benefits of structural typing is how you can have most of the ergonomics of untyped languages while actually getting the performance and safety of sound typing.