Click here to Skip to main content
65,938 articles
CodeProject is changing. Read more.
Everything / type-system

Type System

type-system

Great Reads

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.

Latest Articles

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.

All Articles

Sort by Score

type-system 

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.
by ChristianNeumanns
This article explains why we need native record types, and how they work in PTS.
by ChristianNeumanns
Union types (aka sum types, variants, choice types) provide an elegant solution for frequent programming tasks.