방금 배운 static type system 의 단점 ㄷㄷ

(proc (f) (f f)) (proc x x)

이런 함수 타입 모름 ㄷㄷ

어떤 함수를 받아서

그 함수에 자기자신을 인자로 넘겨서 실행시키고 결과값을 리턴하는 함수의 타입은?

f의 타입을 a-> b 타입이라고 하자.

그러면 전체 proc 의 타입은 (a->b)->c 타입이다
그런데 f 는 자기자신을 인자로 받는다. 즉 a = a->b 이다.

a->a->a->a-> … 무한재귀 띠용

2 Likes

그래서 하스켈이 함수형임에도 불구하고 Y 컴비네이터를 만들 수 없습니다.

물론 Y 컴비네이터와 같은 역할하는 함수를 만들 수 있긴 하죠 :thinking:

1 Like