I agree! | -----Original Message----- | From: Richard Eisenberg [mailto:e...@cis.upenn.edu] | Sent: 11 January 2016 16:35 | To: Jan Stolarek <jan.stola...@p.lodz.pl> | Cc: Simon Peyton Jones <simo...@microsoft.com>; GHC developers <ghc- | d...@haskell.org> | Subject: Re: Injective type families | | I'm joining this conversation late, but I favor TypeFamilyDependencies | over InjectiveTypeFamilies. We use the annotations for things other | than injectivity! For example, | | > type family Plus a b = r | r a -> b, r b -> a | | is not injective under any common understanding of the word. And the | argument-to-argument dependencies Simon has been musing about are even | further from the meaning of "injective". | | Richard | | On Jan 8, 2016, at 6:43 AM, Jan Stolarek <jan.stola...@p.lodz.pl> | wrote: | | >> Is "InjectiveTypeFamilies" a good name for this? Or | "TypeFamilyDependencies"? Or what? | > My vote for "InjectiveTypeFamilies". | > | > Janek | > | > --- | > Politechnika Łódzka | > Lodz University of Technology | > | > 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. | > | > This email contains information intended solely for the use of the | individual to whom it is addressed. | > If you are not the intended recipient or if you have received this | > message in error, please notify the sender and delete it from your | system. | > _______________________________________________ | > ghc-devs mailing list | > ghc-devs@haskell.org | > | https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.h | > askell.org%2fcgi-bin%2fmailman%2flistinfo%2fghc- | devs&data=01%7c01%7csi | > | monpj%40064d.mgd.microsoft.com%7c89e853d7594848b5a2b008d31aa53339%7c72 | > | f988bf86f141af91ab2d7cd011db47%7c1&sdata=CGUuIZ3rnRG3jH7pXHUCnLuB5tG8I | > Crf%2fhYwvlrWUcA%3d | >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
