하스켈에서는 모든 표현식 (수치 상수와 그 상수를 다루는 함수를 포함한다)은 결정형이다. 컴파일시에 타입 검사기는 표현식의 타입을 그 타입을 구성하는 기본 함수의 타입으로부터 유추한다. 데이터는 기본적으로 불변이므로 "유형 변환"연산은 없지만 데이터를 복사하고 이성 안에서 유형을 일반화하거나 특수화하는 함수가 있습니다.
이것은 Clojure 구문에 숫자를 추가하는 방법입니다. 이 메서드는 목록의 첫 번째 인수로 발생하므로 목록의 나머지 인수에 대해 + 또는 추가 메서드를 평가합니다.