[Haskell-cafe] Fwd: Increasing Haskell modularity
roma at ro-che.info
Thu Oct 2 09:08:39 UTC 2014
On 02/10/14 02:50, Richard Eisenberg wrote:
> For what it's worth, I think I can agree that types like `Set` should
> carry around the relevant `Ord` dictionary.
What exactly do you mean by that? Redefining the Set type so that it
carries a dictionary, such as
data Set a where
Bin :: Ord a => ...
or somehow modifying GHC's internal dictionary passing mechanism without
changing any user code (such as Data.Set)?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: OpenPGP digital signature
More information about the Haskell-Cafe