Hacker News Reader

Then what is System F?

polymorphic typed lambda calculus.

it's the theoretical basis for ML and Haskell.

Oh I see, you were asking rhetorically :)

Ha yes, I see it more as a candidate for a maxwell's equations of software engineering than the metacircular interpreter.