程序员客栈 接不到单子_常见（但不常见）单子

程序员客栈 接不到单子

上周，我们研究了Monad如何帮助您实现Haskell开发的下一个飞跃。 我们讨论了runXXXT模式，以及如何使用其余代码中的某些monad作为通用网关。 但是有时它也有助于回到基础知识。 实际上，我花了很长时间才真正掌握如何使用几个基本的monad。 或者至少，我不了解如何将它们用作单子。

在本文中，我们将研究如何使用列表monad和函数monad。 列表和功能是任何Haskeller从一开始就学到的核心概念。 但是列表数据结构和功能应用程序也是单子！ 理解它们的工作方式可以使我们更多地了解单子的工作原理。

有关monad的深入讨论，请查看我们的功能数据结构系列 ！

执行语法的一般模式

使用do语法是了解如何实际使用monad的关键之一。 绑定运算符使您很难跟踪参数的位置。 Do语法可使结构保持整洁，并允许您轻松传递结果。 让我们看看它如何与IO工作， IO是Haskellers学习的第一个monad。 这是一个示例，我们从文件中读取第二行：

readLineFromFile :: IO String
readLineFromFile = do
handle <- openFile “myFile.txt” ReadMode
nextLine <- hGetLine handle
secondLine <- hGetLine handle
_ <- hClose handle
return secondLine