Hacker News new | ask | show | jobs
by dllthomas 3816 days ago
As I understand it, type inference breaks down on dependent types.