3 ms·

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 http://math.ucr.edu/h

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 http://math.ucr.edu/home/baez/rosetta.pdf , pg55

lemming 15y ago
And while we're taking requests, one in a similar style on type inference would be great too.
- motxilo 15y ago
  You can examine Chapter 4 of Essentials of Programming Languages for the basics of type inference ;)