Why do you think type inference has gotten so popular. 
You get to have both the safety and performance of static, without adding types all over the place! ^.^
OCaml is awesome for that.
4 Likes
Why do you think type inference has gotten so popular.
You get to have both the safety and performance of static, without adding types all over the place! ^.^
OCaml is awesome for that.