[Haskell-cafe] types calculation

Dmitry Olshansky olshanskydr at gmail.com
Tue Nov 10 20:59:01 UTC 2015


It seems that types without parameters are not reduced in ghc unlike CAFs.

I.e. if we have

type T1 a b = ...
type T2 = T1 Int Int

than T2 will be calculated on each utilization.

Is my statement correct? If so, why is it?
With complicated type-calculation compile time is growing too fast.

Best regards,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151110/c202de70/attachment.html>

More information about the Haskell-Cafe mailing list