Hacker News new | ask | show | jobs
by dingfeng_quek 5002 days ago
However, when working with good type inference (i.e. Haskell)... 1: it's possible to relax on the discipline a little; mental resources are limited (at least for me). 2: typed-based dispatch; refactoring based on static types; etc.