|
|
|
|
|
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. |
|