In type theory, product types (with no field names) are generally preferred due to their simplicity, but proper record types are studied in languages such as System F-sub.
V teorii typů se složeným typům (bez pojmenovaných položek) obecně dává přednost kvůli jejich jednoduchosti, ale vlastní záznamové typy se studují v jazycích jako například System F-sub.