関数型言語

• 1958年：LISP
• 1966年：ISWIM
• 1970年代：ML
• 1972年：SASL
• 1975年：Scheme
• 1981年：KRC
• 1984年：Common LISP
• 1985年：Miranda
• 1987年：Clean
• 1990年代：Agda
• 1990年：Haskell，ML
• 1991年：Coq
• 1996年：Objective OCalm
• 1998年：Erlang　並行処理指向プログラム言語．待ち行列理論の創始者のアグナー・クラルプ・アーラン（Agner Krarup Erlang）の名に因んでエリクソン社で開発されました．1998年にオープンソース化．cf.Golang
• 2003年：Scala
• 2005年：F#　マイクロソフトが開発した .NET Framework 向けのマルチパラダイムプログラミング言語．オブジェクト指向プログラミングと命令型（手続き型）プログラミングと関数型プログラミングをサポートしています．
• 2007年：Clojure
• 2012年：Idris　Fully Dependent Typeなプログラミング言語．

Mathematics is the language with which God has written the universe.