tion composition operator)多态类型(Polymorphic types)类似于C++的模板。例如，算术加法：
lambda函数.lambda 就是匿名函数。写法是：一个 \ (因为它看起来像是希腊字母λ)，后面是用空格分隔的参数，-> 后面是函数体。通常用括号将括起lambda函数，否则它会占据整个右边部分。例如：(\a b -> (a * 30 + 3) / b)可以在 lambda 中使用模式匹配，但无法为一个参数设置多个模式，如 [] 和