[Haskell-cafe] types calculation
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe