4 ms·
In some symbolic logic classes, that character "bottom" represents "false" ad flipped "top" means true. Don't know what they're getting at in the code, though.
by jbaber 2y ago
In some symbolic logic classes, that character "bottom" represents "false" ad flipped "top" means true.
Don't know what they're getting at in the code, though.
- dentemple 2y agoOnce again proving the need for comments in code. Especially for comments that are more useful than "initialize parameters"
- hollerith 2y ago>In some symbolic logic classes, that character "bottom" represents "false" That's unfortunate, because in the study of computer programming languages, it means "undefined" (raise an error).
- tsss 2y agoNot always. It is also the uninhabited bottom type.
- hollerith 2y agoMy point is that there is a difference between a Python function's returning false and the function's raising an error, and sometimes the difference really matters, so it would be regrettable if logic teachers actually did use ⊥ to mean false because programming-language theorists use it to mean something whose only reasonable translation in the domain of practical programming is to raise an error. I have no idea what your point is.
- deleted 2y ago[deleted]