26 Dec
2005
26 Dec
'05
5:45 p.m.
I can imagine that it is akward to delay code generation until all uses of a function are known, and that in some cases there may be infinitely many instances needed. But apart from that, what are the reasons against this implementation technique?
What made you think that this technique isn't used?
I'm not sure. It seems I didn't hear it from any official sources at least :)
It is used in GHC. However, there are cases where it can't be used, most notably with polymorphic recursion, existential types or higher-rank polymorphism.
That's what I thought. But I'm still curious when it is used, and why it isn't a suitable solution for unboxed polymorhic functions in most cases. /Niklas