함수 적용하기(Function application)

끝 오브젝트 $1$에서 시작해 $a$로 가는 애로우를 $a$의 엘리먼트라 하고 아래처럼 적는다.

$1 \xrightarrow{x} a$

$a$에서 $b$로 가는 애로우는 아래처럼 적는다.

$a \xrightarrow{f} b$

$a$를 매개로 이 두 애로우를 합칠 수 있다. 합친 것은 $1$에서 $b$로 가는 애로우 $y$이다. $y$는 $b$의 엘리먼트이다.

아래처럼 적을 수 있다.

$y = f \circ x$

$f$를 이용해서 $a$의 엘리먼트를 $b$의 엘리먼트로 만들 수 있다.

이렇게 하는 걸 함수 $f$에서 $x$로의 애플리케이션(application)이라고 한다. 아래처럼 적는다.

$y = fx$

$a$의 엘리먼트 $x$를 하스켈로 표현하면 아래와 같다.(() -> a와 같은 표현이다.)

x :: a

함수 f를, a에서 b로 가는 애로우 오브젝트로 선언할 수 있다.

f :: a -> b

y :: b
y = f x