Comment on Type Inference vs. Static/Dynamic TypingparentComments−alextgordon15yI find it very difficult to believe that a large source of errors in ML programs are caused by programmers forgetting to annotate type information on top level functions.
Comments
I find it very difficult to believe that a large source of errors in ML programs are caused by programmers forgetting to annotate type information on top level functions.