3 ms·
Got it, thank you. The other link posted by tikhonj is also very good at explaining. Your phrase > "0," "1," and "2" here do not denote states; rather, they de
by m_mueller 11y ago
Got it, thank you. The other link posted by tikhonj is also very good at explaining. Your phrase
> "0," "1," and "2" here do not denote states; rather, they denote types. In particular, "0" is the type with zero values, "1" is the type with one value, "2" is the type with two values, etc.
should IMO be included in OP's post in some form or another. Also an explanation for void would be helpful, as in do not confuse 'void' in Haskell with e.g. 'void' in C or 'None' in python, as in those types are rather corresponding to 'unit' in Haskell.