Language Design: Equality & Identity – Part 4: Fixing Haskell

This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.

Basic goals, as mentioned in the previous parts: You should not lose values inside a data structure. Here is the simple example again, demonstrating the issue: elem (0.0/0.0) [0.0/0.0] -- False To be clear, elem is picked as the simplest example possible. 1 Status Quo Why is Eq not doing its job, or rather – what is its job description in the first place? According to Data.Eq , not much: The…

Read on /languages/equality-and-identity-fixing-haskell.html ↗