2 ms·
This is the exact same objection people have been raising for 20 years. Yes, lifted types and partiality are probably bad. No, this isn’t an argument against di
by wyager 7y ago
This is the exact same objection people have been raising for 20 years. Yes, lifted types and partiality are probably bad. No, this isn’t an argument against distinguishing between functions and other objects. If anything, it just goes to show that Haskell should have been even more extremist about effect management.
- dependenttypes 7y ago> No, this isn’t an argument against distinguishing between functions and other objects It was not supposed to be one. Rather, it was there to show that just like other languages Haskell functions can have effects (even if discouraged).