1

我正在复习 F# 中的一些关键点,我的导师推荐了一些练习来帮助我们掌握这些概念(不是家庭作业)。他为我们提供了 F# 编译器在给出示例表达式时会推断出的某些类型,并且我们应该能够想出一个可以提供它的表达式。我有点卡住的是以下几点:

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

('a -> 'b) * ('c -> 'a) -> ('c -> 'b) 

第一个当然是函数组合运算符(f o g)(x), or (>>),但我想不出任何有第二个的东西。有人有什么建议吗?此外,第一个的替代品也将不胜感激。

4

1 回答 1

3

它看起来像反向组合( <<),并且正如 kvb 指出的那样,它需要是非咖喱的。

于 2013-02-25T20:19:06.220 回答