st_monad-CSDN博客

原创请移步主博客http://blog.csdn.net/hmisty

我亲爱的朋友们，请您移步主博客Evan Hmisty：http://blog.csdn.net/hmisty我在那里恭候您！

2012-05-28 01:01:57 1236

原创批判sepl

几件事情，下面的话比较感性，请理解。1. wordpress.com.cn这个骗人的家伙，不吭一声就关站了，我的博文都丢了。2. 今天偶然看到这个blog绑定的email，居然发现不少回复。3. 发现是csdn一个pk区引用了我的文章。4. 在回复里发现了sepl，搜索一下，居然它还有个博客。5. 看了它的这篇博文（http://blog.csdn.net/No1os_sinox/archive

2008-03-16 00:37:00 793

转载 cean(Comprehensive Erlang Archive Network) help

zz from http://cean.process-one.net/doc/ * give some help > cean:help(). * list available packages > cean:available(). * list installed packages > cean:installed(). * chec

2007-09-23 23:20:00 1071

原创我看所谓“汉语编程”

最近看到solidot上有人灌水说又推出了一种汉语编程语言：http://developers.solidot.org/article.pl?sid=07/09/19/0429258&from=rss去看了看，没有任何新意，和中蟒的视觉感受很类似，试想，天天让一个正常的中国人写这样的汉语能不得神经病吗：载入系统文件名 = 系统.参数[1:] 定义修正行尾(文件): 内文

2007-09-23 17:28:00 5065 7

原创 YAPC::Beijing 2007

YAPC::Beijing 2007今天在北京朝阳区西大望路1号温特莱酒店二层宴会厅召开，Yahoo .cn赞助，会上有很多人做了精彩的演讲，agent zhang, hoowa,alex,qinsheng等等。agentzh的contribute to pugs讲的酣畅淋漓，令人刮目。来irc.freenode.net #perl6吧！我的irc nick: evanl_ :)

2007-06-18 00:11:00 972

原创 tagging file system + CMS构思

[需求]1. 对凌乱的文档进行管理2. 能够支持tagging3. 能够方便的查找 a)根据tag b)根据内容4. 随手方便的写一些文档[调研]1. CMS -- Content Management System大多数都是web basedsome script language + database, such as mysql其更突出的理念是中心化不是很符合我的个人易用原则2. 传统的fi

2007-05-08 23:37:00 911

原创 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 1249

原创 haskell的世界观(4)

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

2007-04-07 23:07:00 2550 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 1360

原创关注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 4495 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 3818 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 2124

原创 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 3033 3

原创昨天内部haskell freetalk的ppt和源码

本次交流主要围绕haskell在windows/yBSD上的安装、语言特性、利用单子对象封装副作用、文本解析库parsec、多核处理器并行计算支持、与C程序静态联编等方面展开，并形成了一定的产出，代码也放入了上述zip包中。我没有找到粘贴zip附件的功能，所以uuencode贴在下面了。用uudecode解开即可。begin 644 20070329_haskell_freetalk.zipM

2007-03-30 01:15:00 28620

st_monad的专栏