by ChristianNeumanns
This is part 1 in a series of articles about designing a practical type system.
by ChristianNeumanns
The "absence of a value" is among the most important concepts a type system has to deal with.
by ChristianNeumanns
This article explains why we need native record types, and how they work in PTS.
by ChristianNeumanns
Goals and non-goals, history, core types and features that shouldn't be supported in a PTS.
by ChristianNeumanns
Error-handling is important, but nobody wants to do it!
by ChristianNeumanns
The "absence of a value" is among the most important concepts a type system has to deal with.
by ChristianNeumanns
Union types (aka sum types, variants, choice types) provide an elegant solution for frequent programming tasks.
by ChristianNeumanns
This article explains why we need native record types, and how they work in PTS.