Extensible records are a form of structural typing. Purescript has good support for both nominal (via data declarations) and structural (via extensible records)

Extensible records are a form of structural typing. Purescript has good support for both nominal (via data declarations) and structural (via extensible records) typing. It has the best native support for both paradigms of any language that I can think of off the top of my head.