Since type-theoretical records may contain first-class function-typed fields in addition to data, they can express many features of object-oriented programming.
Protože záznamy v teorii typů mohou kromě dat obsahovat položky typu funkce první třídy, mohou vyjadřovat mnoho vlastností objektově orientovaného programování.