3 ms·
They are similar in that they cannot be applied to any non-bottom value, but they are definitely not the same function.
by bweitzman 11y ago
They are similar in that they cannot be applied to any non-bottom value, but they are definitely not the same function.
- sjolsen 11y ago>they are definitely not the same function This depends on what equivalence you're using, and the only one in which it's true (definitional equality) isn't very interesting. Extensionally, the functions are identical.
- bweitzman 11y agoIgnoring, bottom, the functions arguably have no extensionality, and therefore are only vacuously equivalent in that sense.