6 ms·

If languages adopted structural typing, rather than nominal as the default, then it would be much easier to align the types (e.g. projection/renaming of columns

If languages adopted structural typing, rather than nominal as the default, then it would be much easier to align the types (e.g. projection/renaming of columns). Most FP languages have a limited form of structural typing with tuples.

orbifold 6y ago
Objects in OCaml are structurally typed as well.
- deleted 6y ago
  [deleted]