by ChristianNeumanns
Error-handling is important, but nobody wants to do it!
by ChristianNeumanns
Goals and non-goals, history, core types and features that shouldn't be supported in a PTS.
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.
