Talk:Structural type system
From Wikipedia, the free encyclopedia
I don't think Haskell should be considered to be primarily structurally typed. Union types and type classes seem to be nominally typed. I guess tuples are structurally typed. What else?