部分函數在Haskell中的應用

Question

我剛剛從this wikibook開始學習Haskell，並且在練習中遇到了一些問題。

具體來說，如我所料

parseNumber :: Parser LispVal 
parseNumber = (many1 digit) >>= (return $ Number . read) 

除非我微微

parseNumber :: Parser LispVal 
parseNumber = (many1 digit) >>= (\n -> return $ Number . read $ n) 

我希望有人能解釋爲什麼return $ Number . read不計算爲同一拉姆達變化它下面不工作函數，我明確地在第二個定義中創建，因爲我認爲這正是部分函數評估在使用無點樣式代碼時所做的（顯然不是！）

感謝您的任何幫助，希望它不是另一個初學者的monad問題...

Answer 1

這只是$如何關聯的問題。從根本上說，$只是一個用於編寫較少括號的操作符;這與將括號包裝到表達式的末尾是一樣的。

使用這個想法，我們可以重寫你的第二個例子：

parseNumber = (many1 digit) >>= (\n -> return (Number . read (n))) 

僅供參考，原始表達式用括號看起來是這樣的：

parseNumber = (many1 digit) >>= (return (Number . read)) 

所以部分應用程序的等價物實際上是：

parseNumber = (many1 digit) >>= (\n -> (return (Number . read)) n) 

基本上，將多個$關聯關係與您的預期不同。

Answer 2

它看起來像你想：

parseNumber = (many1 digit) >>= (return . Number . read) 

或alteratively

parseNumber = (many1 digit) `fmap` (Number . read) 

Number . read是一個功能String -> LispVal所以return $ Number . read類型是Parser (String -> LispVal)，而你需要的功能有型String -> Parser LispVal

Answer 3

回到定義 -

($) :: (a -> b) -> a -> b 
($) = id 

(.) :: (b -> c) -> (a -> b) -> (a -> c) 
(.) f g x = f (g x) 

現在你有

return $ Number . read = ($) return (Number . read) -- (.) has higher precedence 
         = return (Number . read) 

和你所在的單子是Parser單子，所以這是試圖綁定一個解析值返回一個解析器其他功能的功能（很多層的抽象！）

相反，你要的是

return . Number . read 

這相當於你寫的，你可以通過做

\n -> return $ Number . read $ n = \n -> return . Number . read $ n -- definition of (.) 
           = return . Number . read   -- eta reduction 

---

終於看到，請注意，當你看到圖案

x >>= return . f 

此c一個始終與

fmap f x -- or liftM f x 

即它表明你沒有真正使用Monad例如在全部替換，而是較弱（和更普遍）Functor實例。