Haskell中最短的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。