-
Why sum and product types?
When reasoning about functional types it sometimes helps to take a step away from the compiler and delvelop some informal intuitions about why things work the way that they do.When I read about algebraic data types they seemed rather complex notions. Algebraic data types, I discovered from wikiped …
- On: