如何飛

Question

使用IO單子輸出這是我在做什麼：

data Person = Person (IORef String) (IORef Int) 
name <- newIORef "Boston" 
age <- newIORef 100 
p = Person name age 

我想知道如果我可以把它們放在一個線，如：

p = Person (newIORef "Boston") (newIORef (100::Int)) 

有什麼辦法把他們放在一條線上？

Answer 1

您可以使用IO實例Applicative：

p <- Person <$> newIORef "Boston" <*> newIORef 100 

如果您使用的base舊版本，您可能需要

import Control.Applicative 

得到<$>和<*>。

另一方面，在其他語言（Agda，Idris）中，有一種叫做idiom brackets的辛辣符號，它使得諸如此類的事情變得非常好。如果我們在GHC有他們，我們可以寫這樣的代碼，而不是（這只是上面的代碼符號）：

p <- (| Person (newIORef "Boston") (newIORef 100) |) 

哪一個會思考導致更好的代碼。