Null-Safety in the Practical Type System (PTS) The “absence of a value” is among the most important concepts a type system has to deal with. Click here to read the article