3 ms·
Not always. It is also the uninhabited bottom type.
by tsss 2y ago
Not 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.