11 ms·
Additionnally from the GC, parametric polymorphism requires a uniform representation of values. For example, List.map does not make assumptions about the values
by emillon 12y ago
Additionnally from the GC, parametric polymorphism requires a uniform representation of values. For example, List.map does not make assumptions about the values in the list like their size.
- StefanKarpinski 12y agoThat doesn't really explain this since `map` could look at the tag on the list/array instead of on each individual element.
- emillon 12y agoArrays of doubles are actually special-cased and do exactly this.