3 ms·
Sure, but most functional languages don't permit useful comparisons between functions of same type either, so while the complexity is limited, the power is limi
by myWindoonn 8y ago
Sure, but most functional languages don't permit useful comparisons between functions of same type either, so while the complexity is limited, the power is limited as well.
- skybrian 8y agoWell, an equality function could be defined that compares closure values and instructions, as mentioned in the article. As I understand it, the reason it isn't typically done is conceptual: two functions are mathematically equal if the same inputs produce the same outputs. (The same way you'd define equality for a hashmap by comparing keys and values.) But this is impossible to calculate for arbitrary functions.
- willtim 8y agoThe power to reason is limited in complex languages.