하스켈에서 가장 짧은 a-> b-> (a-> b) 함수

테스트에서 다음과 같은 질문이 있습니다.

f다음 유형 의 함수 를 작성하십시오 a -> b -> (a -> b). a그리고 b더 나은, 어떤 의미에서 짧은 코드를 결합 할 수 없습니다.

나는 생각해 냈습니다 f a b = \x -> snd ([a,x],b). 더 작은 것을 찾을 수 있습니까?

현재 승자는 다음과 같습니다. f _=(.f).const

오른쪽에서 익명 함수를 제거하여 예제를 축소 할 수 있습니다.

f a b x = snd ([a,x],b)

유형 a -> b -> a -> b이 a -> b -> (a -> b)Haskell 과 동일하기 때문에 작동합니다 .

이 기능은 f _=(.f).const보다 일반적인 유형 실제로 f :: a -> b -> (a -> b)즉 f :: a -> b -> (c -> b). 형식 시그니처가 제공되지 않으면 형식 유추 시스템은 형식을 유추 f :: a -> b -> (a -> b)하지만 f :: a -> b -> (c -> b)정확히 동일한 정의로 형식 서명을 포함하면 Haskell은 문제없이 컴파일하고 f의 부분 응용 프로그램에 대해 일관된 형식을보고합니다. 이 경우 형식 유추 시스템이 형식 검사 시스템보다 엄격한 몇 가지 깊은 이유가있을 수 있지만 이것이 왜 그런지에 대한 이유를 생각해 낼 충분한 범주 이론을 이해하지 못합니다. 확신이 없으면 직접 시도해보십시오.

주어진 ScopedTypeVariables, 나는 이것을 생각해 냈다 :

f (_::a) b (_::a) = b

내 기능과 네 기능을 모두 줄이면 내 머리카락이 짧아집니다.

f(_::a)b(_::a)=b
f a b x=snd([a,x],b)

물론, 당신은 아마 ScopedTypeVariables: P 에 의존해서는 안됩니다 .