（转）对 haskell 与 monad 的理解

深碍√TFBOYSˉ_ 2022-04-22 07:00 157阅读 0赞

<table> 
 <tbody> 
 <tr> 
 <td> 对 haskell 与 monad 的理解 &nbsp; <a href="http://www.opengpu.org/bbs/viewthread.php?tid=2638&amp;extra=page%3D1" rel="nofollow">http://www.opengpu.org/bbs/viewthread.php?tid=2638&amp;extra=page%3D1</a> haskell作为纯函数式语言如何处理IO 并不是真正的处理，只是通过类型系统将跟IO相关的“不纯”的代码和其他纯函数式代码隔离开。通过编译期类型检查进行保证。 具体实现就是通过叫 IO 的 type constructor [io] ，而这个 IO 就是 Monad 的一种。 Monad是什么 在数学上Monad是一门处理状态转换的数学理论。 对于haskell来说，Monad 就是一个 type class [monad] ，这个 type class 定义了一组接口，前面说的 IO 就是实现了这组接口的实例。 
 <div> 
 <div> 
 <ol> 
 <li>class Monad m where </li> 
 <li>&nbsp; &nbsp; (&gt;&gt;=) :: forall a b. m a -&gt; (a -&gt; m b) -&gt; m b </li> 
 <li>&nbsp; &nbsp; (&gt;&gt;) :: forall a b. m a -&gt; m b -&gt; m b </li> 
 <li>&nbsp; &nbsp; return :: a -&gt; m a </li> 
 <li>&nbsp; &nbsp; fail :: String -&gt; m a</li> 
 </ol> 
 </div> 
 复制代码 
 </div> . 这些接口目的何在 
 <div> 
 <div> 
 <ol> 
 <li>foo,bar :: String-&gt;IO String </li> 
 <li>foo msg = return ("foo "++msg) </li> 
 <li>bar msg = return ("bar "++msg) </li> 
 <li> </li> 
 <li>main = do </li> 
 <li>&nbsp; &nbsp; foo "world" </li> 
 <li>&nbsp; &nbsp; name &lt;- getLine </li> 
 <li>&nbsp; &nbsp; bar name</li> 
 </ol> 
 </div> 
 复制代码 
 </div> 上面的do语法糖扩展出来实际上是下面这样： 
 <div> 
 <div> 
 <ol> 
 <li>foo "world" &gt;&gt;= </li> 
 <li>&nbsp;&nbsp;(\_ -&gt; </li> 
 <li>&nbsp; &nbsp; getLine &gt;&gt;= </li> 
 <li>&nbsp; &nbsp;&nbsp; &nbsp;(\name -&gt; </li> 
 <li>&nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;bar name)))</li> 
 </ol> 
 </div> 
 复制代码 
 </div> 这些接口的目的就在于保证操作的顺序执行，也就是说实现了这些接口的类型，使用do语法就可以编写顺序执行的语句了。 haskell 的 IO 类型就是利用这点保证IO操作的顺序执行，并通过类型系统将涉及IO和不涉及IO操作的函数清晰地区别开来。 [io] [url=http://www.haskell.org/ghc/docs/ ... base/System-IO.html]http://www.haskell.org/ghc/docs/ ... base/System-IO.html[/url] [monad] <a href="http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Monad.html" rel="nofollow">http://www.haskell.org/ghc/docs/ ... /Control-Monad.html</a> from : <a href="http://www.yi-programmer.com/blog/2010-03-20_haskell_and_monad.html" rel="nofollow">http://www.yi-programmer.com/blo ... kell_and_monad.html</a> </td> 
 </tr> 
 </tbody> 
</table>