Null-Safety in the Practical Type System (PTS)

ChristianNeumanns

Rate me:

5.00/5 (3 votes)

14 Dec 2023CPOL23 min read

4.5K

The "absence of a value" is among the most important concepts a type system has to deal with.

This article explains how "null" is supported in the Practical Type System (PTS), and how null-safety is ensured.

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

Null-Safety in the Practical Type System (PTS)

Views

License

Comments and Discussions