Record Types in the Practical Type System (PTS)

ChristianNeumanns

12 Nov 2023CPOL37 min read

4.5K

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.

License

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