2007年04月_st_monad

原创 practical haskell: producer-consumer多线程的实现

一个线程发消息，一个线程收消息，重复很多遍。import Control.Concurrentmain = do m end forkIO (sequence_ [ putMVar m () | _ forkIO (sequence_ [ takeMVar m | _ > putMVar end ()) takeMVar endzz from newsmth FuncProg

2007-04-08 01:26:00 1278

原创 haskell的世界观(4)

2007/4/2 monad (4) Haskell de facto describes a quantum world.-- St. Monad 先讲一个故事吧，薛定谔的猫（Schrodingers cat）的故事。这是关于量子理论的一个理想实验。这个猫十分可怜，她（假设这是一只雌性的猫，以引起更多怜悯）被封在一个密室里，密室里有食物有毒药。毒药瓶上有一个锤

2007-04-07 23:07:00 2625 4

原创用haskell实现select的timeout（待解决）

在ocaml.cn上看到有人问如何用haskell实现select的timeout，觉得这个比较实际的问题有点意思，记下来留待以后慢慢想。原文在： http://ocaml.cn/node/296输入参数是一些Handle，都是可读的，但不确定什么时候能读到数据(比如说它们都是pipe的一端在等待另一端的输入)；函数的主要功能是—— 在这些Handle上等数据，对最先发现数据的Handle作hGe

2007-04-05 23:29:00 1387

原创关注STM(software transactional memory)

翻看孟岩的这篇讲C/Java的文章（http://blog.csdn.net/myan/archive/2007/01/14/1482614.aspx）的时候，看到 pongba 批阅关于C/Java的concurrent问题的回帖中提到：”C语言中的并发编程问题是源于语言对多线程内存模型没有内建支持，从而使得编写可移植的多线程程序变得不可能。C++也有同样的问题，不过C++社群正在积极解决。除

2007-04-03 08:38:00 4535 1

原创 haskell的世界观(2)

一个Monad m定义了一个运算(computation)：图中上面一个是monad m a，下面一个是function (a->mb)。可以大致这么理解，一个monad是包含两面的，它除了在一个世界中作为a以外，还携带了另外一个世界如何从in变化到out的信息。所以，一个monad还叫做action，或者computation。例如，IO monad又称IO action。后面

2007-04-02 02:21:00 3874 2

原创 haskell的世界观(3)

为什么monad的引入就能够把pure world和real world和谐的结合起来呢？rollDice函数不是不符合“给出相同的参数，返回相同的结果”么？我们先来看看pure function的定义吧：wikipedia上是这么写的：In computer programming, a function may be described as pure if both

2007-04-02 02:21:00 2155

原创 haskell的世界观(1)

我的理解，haskell创造了一个no side-effect的pure functional的world，然后为了和real world协同，创造了monad来封装real world中的dirty data。图1 左边是无副作用世界，右边是真实世界，二者通过交换单子进行协同当real world中发生一个destructive update的时候（输入）

2007-04-02 02:20:00 3099 3

st_monad的专栏