함수
수학에서, 함수(函數, ) 또는 사상(寫像, )은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이다.
ML (프로그래밍 언어)
팩토리얼 함수의 첫 번째 줄은 이 함수의 자료형을 표시하는 부분이다. ML은 코드로부터 자동으로 변수와 함수의 자료형을 추론하므로 이 부분은 없어도 무방하다. 첫 번째 줄은 ""함수 fac" (fac)"의 자료형은" (:) "정수에서 정수로 가는" (fn: int -> int) "함수이다."" 와 같이 해석할 수 있다. 따라서 이 함수는 정수를 인자로 받아 또 다른 정수를 반환하는 함수이다.