FP（函数编程）：符号

Question

这里使用的语言是FP。

我不明白<>和[]的用法有什么区别。

例如：

2 : <3,4,5> -> 4

但是

+ o [1,2] : <2,3> -> 5

为什么第一个序列是用[]而不是<>写的？

谢谢！

Answer 1

您的问题的答案实际上在您提供的 wiki 链接中。虽然 <...> 用作列表的表示法（例如，<3,4,5> 是一个包含元素 3、4 和 5 的列表），但 [...] 只是 FP 已经提供的函数的语法.它被称为构造并由

定义

[f1, ..., fn]:x =  <f1:x, ..., fn:x>

如果你熟悉 Haskell：它类似于

map (\f -> f x) [f1, ..., fn] = [f1 x, ..., fn x]

也就是说，[...] 是某种映射函数，另见Higher order function to apply many functions to one argument。

在你的具体例子中

2:<3, 4, 5> 

选择给定列表的第二个元素，+ o [1, 2]:<2, 3> 可以“评估”为 如下（其中o 是函数组合）：

+ o [1, 2]:<2, 3>  => (definition of composition)
+:([1, 2]:<2, 3>) => (definition of construction)
+:<1:<2, 3>, 2:<2, 3>> => (select list elements)
+:<2, 3> => (addition)
5