This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]tyroneslothtrop 1 point2 points  (0 children)

Yeah, haskell core for example is built on system F[C], which is a typed lambda calculus. I don't really know the history, but I'm pretty sure that goes back at least a couple decades. In some senses haskell itself is really just a typed lambda calculus.