যেহেতু টাইপতাত্ত্বিক রেকর্ডগুলির মধ্যে ডেটা ছাড়াও প্রথম শ্রেণীর ফাংশনটাইপ করা ক্ষেত্র থাকতে পারে তারা অবজেক্ট ওরিয়েন্টেড প্রোগ্রামিংএ অনেক বৈশিষ্ট্য প্রকাশ করতে পারেন ###>Since typetheoretical records may contain firstclass functiontyped fields in addition to data they can express many features of objectoriented programming