Latest posts tagged with #StrongTyping on Bluesky
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 […]
