simonfxr

7 ms·

1. 1.▲
   by simonfxr 3y ago

   I guess you mean Futamura projections?
2. 2.▲
   GDP is the wrong tool for measuring what matters (2020)(scientificamerican.com)

   73 points by simonfxr 3y ago|34 comments
3. 3.▲
   by simonfxr 6y ago

   Okay you are right, GHC does not produce a stable ABI with dynamic libraries. But it could do so in principal, no problem with laziness itself. It just would be a lot slower without all the cross module inlining and so GHC chooses not to. T
4. 4.▲
   by simonfxr 6y ago

   I don't see how strict vs. lazy has anything to do with linkage. I guess you are talking about foreign functions defined in a dynamic library. Calling a foreign function (regardless of linkage) will just evaluate the arguments and pass