功能组合部分应用

Question

你好，有人可以向我解释这个来自 Real World Haskell 的函数组合示例：

data Doc = ToBeDefined deriving (Show) 

(<>) :: Doc -> Doc -> Doc
a <> b = undefined

series :: Char -> Char -> (a -> Doc) -> [a] -> Doc
series open close item = enclose open close
                         . fsep . punctuate (char ',') . map item
                         -- Who does fsep compose with?

enclose :: Char -> Char -> Doc -> Doc
enclose begin end input = char begin <> input <> char <> end

我不明白. fsep 表达式的正确操作数是谁。

( . ) [who is here ]  fsep 

因为从外观上看，关闭和打开只是一个字符。你能用数据类型（在我们的例子中是一个字符）组成一个函数吗？

P.S 是否可以对函数组合进行柯里化？

所以enclose接受3个参数：其中2个已经固定open和close，第三个是fsep的结果。

基本上你可以做到f(x1...xn-1 xn) . g(y1....yn)(k)，只要g(y1...yn)(k)=xn。

Answer 1

这里没有什么令人兴奋的事情。你引用的函数只是

series open close item = enclose open close . fsep . punctuate (char ',') . map item

在enclose open close 之后有一个换行符以提高可读性（这不会​​改变它的解析方式）。 IE。您询问的. 的操作数是enclose open close 和fsep^†。

这里，enclose open close 是enclose 函数的部分应用：

enclose :: Char -> Char -> Doc -> Doc
enclose open   ::  Char -> Doc -> Doc
enclose open close   ::    Doc -> Doc

因此，您要在产生 Doc 的函数之前编写 Doc -> Doc 函数。

---

^†实际上，这在技术上并不完全正确：因为. 是正确-关联的，所以正确的操作数实际上是其右侧的所有内容 ，即

     (enclose open close) . (fsep . punctuate (char ',') . map item)

但由于f . (g . h) ≡ (f . g) . h，这并不重要。