TypeLits and type families wrt. equality

Simon Peyton Jones simonpj at microsoft.com
Mon Jul 27 16:04:37 UTC 2015

|  When saying "Big Deal" did you mean
|    - highly desirable and somebody should go for it
|    - or a terrible amount of work, and who tackles it is probably a
|  fool on a hubris trip?

I meant

  - a lot of work, including changes to the core System FC language
  - we lack enough compelling cases to justify that work

But it would certainly be interesting.  In short, a research exercise, not an engineering one.


More information about the ghc-devs mailing list