[was ghc-devs] Reasoning backwards with type families

[Anthony Clayden]

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

>
> 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.

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