New posts in Type Systems

Comparing design by contract to type systems

What are "sums-and-products" data structures?

Why does null exist in .NET?

Why is there "data" and "newtype" in Haskell?

What is an existential type?

Dynamic type languages versus static type languages