Tag: type-inference

ML began as the metalanguage of the LCF theorem prover and introduced practical polymorphic type inference, showing that strong static typing could coexist with concise functional programs.