Hacker News new | ask | show | jobs
by toolslive 585 days ago
type inference in programming languages is more than 50 years old. ML had it in 1973.