3 ms·
Impressive presentation but I find two things missing in particular: * GRIN [1] - arguably a breakthrough in FP compilation; there are several implementation b
by FullyFunctional 3y ago
Impressive presentation but I find two things missing in particular:
* GRIN [1] - arguably a breakthrough in FP compilation; there are several implementation based on this
* HVM [2] - parallel optimal reduction. The results are very impressive.
[1] https://link.springer.com/chapter/10.1007/3-540-63237-9_19 https://link.springer.com/chapter/10.1007/3-540-63237-9_19
[2] https://github.com/HigherOrderCO/HVM https://github.com/HigherOrderCO/HVM