> not using the correct name (Product Types) for their “records” There is no single "correct name" as there is no single "problem domain" that covers the algeb

> not using the correct name (Product Types) for their “records” There is no single "correct name" as there is no single "problem domain" that covers the algebra of type theory, and the pragmatics of programming in engineering, along with other areas.