Collection

Tag: functional-programming

Haskell and the Decision to Make Pure Functional Programming Practical

Haskell emerged from a committee effort to give the lazy functional-programming community one common language, then turned purity, type classes and monadic I/O into practical tools for building real programs.

↗

ML, Robin Milner, and the Rise of 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.

↗

LISP and the Radical Idea That Code Could Be Data

LISP gave symbolic computation a language whose programs and data shared a common representation, reshaping artificial intelligence and the theory of programming.

↗