3 ms·
Then what is System F?
by haskellandchill 4y ago
Then what is System F?
- invisiblerobot 4y agopolymorphic typed lambda calculus. it's the theoretical basis for ML and Haskell. https://en.wikipedia.org/wiki/System_F https://en.wikipedia.org/wiki/System_F
- invisiblerobot 4y agoOh I see, you were asking rhetorically :)
- haskellandchill 4y agoHa yes, I see it more as a candidate for a maxwell's equations of software engineering than the metacircular interpreter.