技术
文章平均质量分 63
Evan_Liu_
行至水穷处,坐看云起时。
展开
-
昨天内部haskell freetalk的ppt和源码
2007-03-30旧帖。原发:http://blog.csdn.net/st_monad/article/details/1546007本次交流主要围绕haskell在windows/yBSD上的安装、语言特性、利用单子对象封 装副作用、文本解析库parsec、多核处理器并行计算支持、与C程序静态联编等方 面展开,并形成了一定的产出,代码也放入了上述zip包中。我没有找到原创 2012-05-28 00:19:38 · 19174 阅读 · 2 评论 -
我看所谓“汉语编程”
2007-09-23旧作。原载:http://blog.csdn.net/st_monad/article/details/1797146最近看到solidot上有人灌水说又推出了一种汉语编程语言:http://developers.solidot.org/article.pl?sid=07/09/19/0429258&from=rss去看了看,没有任何新意,和原创 2012-05-28 00:55:06 · 530 阅读 · 0 评论 -
cean(Comprehensive Erlang Archive Network) help
2007-09-23 旧文。原载:http://blog.csdn.net/st_monad/article/details/1797681zz from http://cean.process-one.net/doc/ * give some help > cean:help(). * list available packag转载 2012-05-28 00:51:48 · 581 阅读 · 0 评论 -
用haskell实现select的timeout(待解决)
2007-04-05 旧作。原载:http://blog.csdn.net/st_monad/article/details/1553561在ocaml.cn上看到有人问如何用haskell实现select的timeout,觉得这个比较实际的问题有点意思,记下来留待以后慢慢想。原文在: http://ocaml.cn/node/296输入参数是一些Handle,都是可读原创 2012-05-28 00:45:57 · 524 阅读 · 0 评论 -
haskell的世界观(3)
2007-04-02旧作。原载:http://blog.csdn.net/st_monad/article/details/1548864为什么monad的引入就能够把pure world和real world和谐的结合起来呢?rollDice函数不是不符合“给出相同的参数,返回相同的结果”么? 我们先来看看pure function的定义吧:wikipedia上是原创 2012-05-28 00:30:39 · 456 阅读 · 0 评论 -
haskell的世界观(1)
2007-04-02 旧作。原载:http://blog.csdn.net/st_monad/article/details/1548862我的理解,haskell创造了一个no side-effect的pure functional的world,然后为了和real world协同,创造了monad来封装real world中的dirty data。 图1 左边是无副作原创 2012-05-28 00:28:00 · 830 阅读 · 0 评论 -
practical haskell: producer-consumer多线程的实现
2007-04-08 旧作。原载:http://blog.csdn.net/st_monad/article/details/1556189一个线程发消息,一个线程收消息,重复很多遍。import Control.Concurrentmain = do m end forkIO (sequence_ [ putMVar m () | _转载 2012-05-28 00:47:09 · 483 阅读 · 0 评论 -
haskell的世界观(4)
2007-04-07 旧作。原载:http://blog.csdn.net/st_monad/article/details/1556101Haskell de facto describes a quantum world.-- Evan Hmisty 先讲一个故事吧,薛定谔的猫(Schrodinger's cat)的故事。这是关于量子理论的一个理想实验。原创 2012-05-28 00:43:02 · 1661 阅读 · 0 评论 -
科普:CDMA2000的一些技术限制
近日有网友讨论CDMA2000的一些技术限制。特搜集资料,撰小文如下,以飨读者。在3G移动通信技术中,语音、短信等传统电信业务和互联网数据业务是分开的两条链路,前者叫电路交换CS,后者叫包交换PS。我们可以简单的理解为:3G = 2G + 3G数据。2G就是用来打电话的;数据就是用来上网的。(注意这只是一种近似的说法,不严谨)对于中国用户,我们所熟知的三种3G技术是WCDM原创 2012-05-27 23:53:08 · 788 阅读 · 0 评论 -
关注STM(software transactional memory)
2007-04-03旧作。原载:http://blog.csdn.net/st_monad/article/details/1550065翻看孟岩的这篇讲C/Java的文章(http://blog.csdn.net/myan/archive/2007/01/14/1482614.aspx) 的时候,看到 pongba 批阅关于C/Java的concurrent问题的回帖中提到:原创 2012-05-28 00:44:59 · 546 阅读 · 0 评论 -
haskell的世界观(2)
2007-04-02旧作。原载:http://blog.csdn.net/st_monad/article/details/1548863一个Monad m定义了一个运算(computation):图中上面一个是monad m a,下面一个是function (a->mb)。可以大致这么理解,一个monad是包含两面的,它除了在一个世界中作为a以外,还携带了另外一个原创 2012-05-28 00:29:23 · 462 阅读 · 0 评论 -
erlang +native执行效率果然足以与C语言-O0相媲美
看到yufeng转一德国人的帖子比较erlang +native编译的运算能力和C语言-O0(不优化)对比。遂亲自动手实验一下。结果如下:代码:https://github.com/hmisty/coding/blob/master/erlang/cpu_intensive.erl https://github.com/hmisty/coding/blob/master/erl原创 2012-05-29 23:38:23 · 2539 阅读 · 0 评论