3 ms·
The Algebra of Algebraic Data Types, Part 2
- oconnor0 13y agoI think this is one of the clearest explanations, to me, of the similarity and differences between nullable & Maybe types. Both encode "n + 1" possible values, but the nullable version pretends it encodes only "n" values, while Maybe makes it explicit.