[was ghc-devs] Reasoning backwards with type families

Anthony Clayden anthony_clayden at clear.net.nz
Thu Dec 14 10:08:37 UTC 2017

On Thu, 14 Dec 2017 at 4:13 PM, Clinton Mead <redirect at vodafone.co.nz>

> I've panicked GHC enough whilst developing Freelude so whilst I'm not sure
> exactly what you're saying I'd be hestiant about exploiting anything bogus
> (8.2 btw seems far more stable than 8.0 btw).

;-) Fair enough.

"bogus" is SPJ's way of saying: it works, but it isn't supported by deep
type theory. 'C'est brutal mais ca marche.'

And that particular exploit has been stable since 2004 at least: the HList
library totally relied on it until Closed Type Families arrived.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20171214/ff65da2e/attachment.html>

More information about the Glasgow-haskell-users mailing list