Why is EvTerm limited?

Joachim Breitner mail at joachim-breitner.de
Fri Jan 19 14:01:11 UTC 2018


I had some funky idea where a type checker plugin would have to
synthesize code for a custom-solved instances on the fly. But it seems
that does not work because EvTerm is less expressive than Core
(especially, no lambdas):

What would break if we had

 | EvExpr CoreExpr

as an additional constructor there?


Joachim “nomeata” Breitner
  mail at joachim-breitner.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20180119/46050b6f/attachment.sig>

More information about the Glasgow-haskell-users mailing list