Re:What Monoids teach us about software
by Koshkin on Wednesday September 13, 2017 @04:27PM
(#15242261)
This does not look right. If I understand correctly, the position of Bottom in the hierarchy of types is exactly the opposite to that of Unit: the latter could serve as the "universal base" (like the type Object), whereas the former could be seen as the "universal descendant" (some kind of Null type). In other words, Unit is "anything" and Bottom is "nothing".
class Bottom { private: Bottom(){} };