10 Nov
2015
10 Nov
'15
3:59 p.m.
Hello! 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, Dmitry