5 ms·

And system FC is... a polymorphically typed λ-calculus.

• TheBoff 15y ago
  Possibly we just a have a different idea of what a lambda calculus is: I was thinking of Church's untyped lambda calculus, which is a much weirder beast than System FC.
  • DanWaterworth 15y ago
    Even if you restrict lambda calculus to mean untyped lambda calculus, it's common practice to discard the types once type-checking has completed and continue the compilation without them.
• deleted 15y ago
  [deleted]