22 Jan
2012
22 Jan
'12
11:47 a.m.
Отправлено с iPad
22.01.2012, в 20:25, David Barbour
Attempting to shoehorn `undefined` into your reasoning about domain algebras and models and monads is simply a mistake.
No. Using the complete semantics — which includes bottoms aka undefined — is a pretty useful technique, especially in a non-strict language.