Record Types in the Practical Type System (PTS)

ChristianNeumanns

Rate me:

5.00/5 (2 votes)

12 Nov 2023CPOL37 min read

3.8K

This article explains why we need native record types, and how they work in PTS.

Record types are used often, in all kinds of software development projects. Therefore, a practical type system should provide a comprehensive set of features that are easy to use and cover all aspects of working with records.

Views

Daily Counts

License

This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)

Written By

ChristianNeumanns

Software Developer

Luxembourg

Curious programmer. Zealous simplifier. Lifelong student of life.
I care about creating software that is easy to use, reliable, and maintainable.
https://www.cnpp.dev

Record Types in the Practical Type System (PTS)

Views

License

Comments and Discussions