Hacker News new | ask | show | jobs
by AnaniasAnanas 2768 days ago
Why does everyone assume that the OP tries to implement type inference? System F and HM are incompatible with each other.