함수형 언어는 수학적 증명과정을 컴퓨터 프로그램 문법에 적용하는 것을 기반으로 삼고 있는 프로그래밍 패러다임으로, 짧은 코드로 강건한 프로그램을 짤 수 있어서 주목받는다. 대표적인 언어로는 Lisp, Scheme, ML, Haskell, Scala 등이 있다.
특징
함수형 언어는 기본적으로 변수라는 개념을 채택하지 않는다. 절차적 프로그래밍에서 요구되는 입/출력의 개념을 함수형 언어는 정의역/치역 개념으로 대체한다.
함수형 패러다임에서 채택한 람다 표현식 등의 개념은 후일 다른 프로그래밍 패러다임에서 광범위하게 수용되고 있다.