• 함수는 소스 집합과 타깃 집합 사이의 대응 관계다. 함수는 소스 집합(정의역)의 원소와 타깃 집합(공역)의 원소 사이의 대응 관계를 확립해준다.

• 순수 함수는 반환 값을 제외하면 아무런 효과도 관찰할 수 없는 함수를 말한다.

• 함수는 인자를 하나만 받을 수 있다. 하지만 여러 원소로 이뤄진 튜플을 인자로 받을 수 있다.

• 인자가 튜플인 함수를 커리한 함수로 만들어 사용하면 튜플의 각 원소를 한 번에 하나씩 적용할 수 있다.

• 커리한 함수의 인자 중 일부만 적용한 경우를 부분 적용 함수라고 부른다.

• 코틀린에서는 fun 함수나 함수 값을 사용해 함수를 표현할 수 있다. fun 함수로 정의한 함수는 실제로는 메서드이며, 함수 값으로 정의한 함수는 일반 데이터처럼 처리할 수 있다.

• 함수 값은 람다를 사용하거나 fun 함수에 대한 참조를 사용해 구현할 수 있다.

• 함수를 합성해 새 함수를 만들 수 있다.

• 함수 값이 필요한 위치에 람다나 함수 참조를 사용할 수 있다.

• 타입을 활용하면 컴파일러에서 타입 오류를 탐지할 수 있어 프로그램을 보다 안전하게 만들 수 있다.