*strongTyping has entered the chat

OCaml’s type inference is wild: the compiler figures out precise, static types for everything, even when you never write a single explicit annotation.

#OCaml #FunctionalProgramming #TypeInference #HindleyMilner #StrongTyping #ProgrammingLanguages #FP

Theory: the world's infatuation with weakly typed languages was exacerbated because the bastion of compile-time #strongtyping was #microsoft... and MS *sucks* at it! They switched their mvc json parser from newtonsoft to something that only works sometimes.. you want to have a configurable […]