함수형 페러다임의 주요 키워드

고계함수(higher-order function)

람다(lambda)

커링(currying)

다수적 타입(algebraic type)

변경 불가능성(immutability)

참조 투명성(referential transparency)

타입 클래스(type class)

추상 데이터 타입(abstract data type)

펑터(functor)

어플리커티브(applicative)

모노이드(monoid)

모나드(monad)

범주이론(category theory)