labbekak

↗ HN profile [ 17.2 ms ] full profile

Karma: 31
Created: October 30, 2017 (8y ago)
Submissions: 0

I recommend the paper "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" by Dunfield and Krishnaswami. It describes an easy to implement algorithm for type inference for higher ranked types that…

8y ago · view thread · ↗