f# - 如何用英语阅读函数类型

Question

let compose f g = fun x -> f (g x)
let mal2 x = 2 * x
let plus1 x = x + 1
let mal2Plus1 = compose plus1 mal2

val compose : ('b -> 'c) -> ('a -> 'b) -> ('a -> 'c)

谁能教我如何阅读compose的函数类型

Answer 1

有多种方法可以读取函数类型，具体取决于您使用它的方式。但是，如果您以示例中演示的方式使用它(compose plus1 mal2)，那么以下阅读是有意义的:

compose 是一个函数:

• 接受一个参数 'b -> 'c 它本身就是一个知道如何将 'b 类型的值转换为不同值的函数输入 'c

• 接受另一个参数 'a -> 'b，它(再次)是一个可以将值 'a 转换为 ' 类型值的函数b.

给定这两个函数，可以按顺序运行它们 - 如果你有一个值 'a 你可以应用第二个函数来获得一个 'b 类型的值code>，这个值可以传递给第一个函数来获取'c。这正是 compose 所做的:

• 结果是一个组合函数，它接受 'a 并产生 'c(这只能通过将第二个函数应用于 'a，然后将第一个函数应用于结果)