Concise example of exponential cost of ML type inference Posted by mrrusof, at cs.stackexchange.com, 11 Nov 2012 It was brought to my attention that the cost of type inference in a functional language like OCaml can be very high. The claim…