4 ms·
Interesting that you mentioned Haskell. In my experience, I've found that every type having a bottom makes a lot of abstractions leaky.
by 3PS 6y ago
Interesting that you mentioned Haskell. In my experience, I've found that every type having a bottom makes a lot of abstractions leaky.
- lmm 6y ago1. Every type has a bottom in every mainstream language, most of them are just less explicit about it. 2. Bottoms do not make abstractions leaky in some generalised sense. The "fast and loose reasoning is morally correct" result applies: any abstraction that would be valid in a language without bottoms is still valid wherever it evaluates to a non-bottom value.
- deleted 6y ago[deleted]
- tome 6y agoInteresting, can you give an example?