search

kevinbarabash / compiler

2 stars 0 forks source link

Port poly_constraint code from "Write you a Haskell" to TypeScript #15

Closed kevinbarabash closed 2 years ago

kevinbarabash commented 2 years ago

The previous hindley-milner implementation that I was using doesn't handle let polymorphism. This one does. I'll add support for n-ary lambdas, type widening, etc. in future PRs.