在我正在阅读的代码库中,我发现了这样的函数声明(缺少某些部分):
filepathNormalise :: BS.ByteString -> BS.ByteString
filepathNormalise xs
| isWindows, Just (a,xs) <- BS.uncons xs, sep a, Just (b,_) <- BS.uncons xs, sep b
= '/' `BS.cons` f xs
逗号在这里有什么作用?
(只是作为奖励,如果有人很容易知道这一点:Haskell Programming from first principle中是否提到了这种语法,如果是,在哪里?因为我不记得读过它。)