고계함수(higher-order function) 람다(lambda) 커링(currying) 다수적 타입(algebraic type) 변경 불가능성(immutability) 참조 투명성(referential transparency) 타입 클래스(type class) 추상 데이터 타입(abstract data type) 펑터(functor) 어플리커티브(applicative) 모노이드(monoid) 모나드(monad) 범주이론(category theory)