Comment on Compiling to λ-calculusComments−DanielRibeiro15yVery nice. It would be nice to see it compiling down to the typed lamba calculus as well[1][1] http://math.ucr.edu/home/baez/rosetta.pdf , pg55−lemming15yAnd while we're taking requests, one in a similar style on type inference would be great too.−motxilo15yYou can examine Chapter 4 of Essentials of Programming Languages for the basics of type inference ;)
Comments
Very nice. It would be nice to see it compiling down to the typed lamba calculus as well[1]
[1] http://math.ucr.edu/home/baez/rosetta.pdf , pg55
And while we're taking requests, one in a similar style on type inference would be great too.
You can examine Chapter 4 of Essentials of Programming Languages for the basics of type inference ;)