[Haskell-cafe] Injective type families for GHC
roma at ro-che.info
Mon Feb 9 19:10:58 UTC 2015
Huh, that's a tough question! I've certainly run into the
non-injectivity issue quite a few times, but it's hard to remember a
single specific case.
You may want to look at the uses of data families. In my experience, a
programmer would often (almost always?) prefer a type family, but has to
resort to a data family when s/he runs into non-injectivity.
Is your design described anywhere?
On 09/02/15 17:58, Jan Stolarek wrote:
> I am finishing work on adding injective type families to GHC. I know that in the past many people
> have asked for this feature. If you have use cases for injective type families I would appreciate
> if you could show them to me. My implementation has some restrictions and I want to see how
> severe these restrictions are from a practical point of view.
> Politechnika Łódzka
> Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.
> Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę
> prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe