4 ms·
> even basic equality is a whole 'nother can of worms in Haskell How so?
by codygman 10y ago
> even basic equality is a whole 'nother can of worms in Haskell
How so?
- skrishnamurthi 10y agoI'm afraid I don't have time here to explain Haskell. Think about how graph reduction and reference equality would interact.
- tome 10y agocodygman and I both understand Haskell well, but neither of us (apparently) can work out what you mean. There's no "can of worms" around equality in Haskell as far as I can see.
- skrishnamurthi 10y agoSee https://news.ycombinator.com/item?id=13198342 https://news.ycombinator.com/item?id=13198342
- codygman 10y agoI know a fair amount of Haskell. For instance I know Haskell doesn't use reference equality.
- skrishnamurthi 10y agoAnd the lack of it makes it hard to test for things like node equality when doing graph algorithms. There's an extra layer of encoding you need to be able to simulate reference equality. And even if you addressed the equality issue, I brought up two other issues that you didn't address.