4 ms·
Both of them are regarded as the same function(ignoring bottom) because there is no way to differentiate between them as you can never supply them with a value
by wz1000 11y ago
Both of them are regarded as the same function(ignoring bottom) because there is no way to differentiate between them as you can never supply them with a value of type Void in order to see their result.
- bweitzman 11y agoThey 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.