Hacker News new | ask | show | jobs
by ice-bergg 1040 days ago
Why not go for global type inference? Should be possible with the relatively simple type system