LXer: A quick guide to types in functional programming
 

Published at LXer:

Functional programming is taking off, but there appears to be some misunderstanding*about the theoretical background of its types. Many programmers incorrectly name types and create confusion around simple ideas. To clarify, let's look at the differences between union, tagged unions, and algebraic data types.read more

Read More...