[김알찬]

타입 시스템을 공부하다가 문득 든 생각인데요,

'a := 'a -> 'b

'a := 'c -> ('b -> 'a)

와 같은 조건을 만족하는 타입 'a가 존재할 수 있나요?

[최준원]

사견이니 확신할 수 없지만 답변 드리겠습니다.

앞으로 학습하실 다형 타입 시스템 (Hindley-Milner) 위에서는 말씀하신 조건을 만족하는 'a 를 찾을 수 없어 보입니다.
타입 방정식을 만족하는 해를 찾을 수 없기 때문입니다. (역시 곧 학습하실 내용)

하지만 다른 타입 시스템에서도 조건을 만족하는 'a 를 찾을 수 없다고는 확신할 수 없습니다.
일단 제가 현존하는 타입 시스템을 모두 알지 못하고요
다형 타입 시스템에서 해가 없을법한 타입 방정식이 다른 시스템에서는 존재할 때가 있습니다.

별로 도움이 되어 드리지 못한 것 같지만,
더 궁금하신 점이 있으시면 아래에 댓글 달아주세요.
아는 한 답변 드리도록 하겠습니다