Comment by grumpyprole

Most languages have poor support for structural types though. If you try and join two records together (like a SQL join), what will your favourite language infer then?