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
More on the #HindleyMilner #TypeInference slow-down in the #Swift #compiler due to #overloading:
“Why Swift’s Type Checker Is So Slow”, Daniel Hooper (danielchasehooper.com/posts/why-sw...).
On HN: news.ycombinator.com/item?id=4066...
On Lobsters: lobste.rs/s/p30juy/why...
#PLDI #Programming
