2015-04-25 02:58:39 +0000 <songzh_> 还有异步Exception什么的。
2015-04-25 02:58:45 +0000 <Javran> 哦?
2015-04-25 02:58:50 +0000 <songzh_> 我发现Stream一词被用得太多了。
2015-04-25 02:59:06 +0000 <songzh_> Stream原本指的就是一个Co-inductive的列表吧。
2015-04-25 02:59:23 +0000 <songzh_> L a = a * (L a)
2015-04-25 02:59:28 +0000 <Javran> 我好像看过一遍tutorial,主要就是围绕Source/Sink/Conduit三个东西在讲
2015-04-25 02:59:40 +0000 <songzh_> 对的,是Iteratee
2015-04-25 02:59:47 +0000 <Javran> Iteratee?
2015-04-25 03:00:06 +0000 <fishts> Iteratee到pipes跟Conduit又是多长的故事了?
2015-04-25 03:00:09 +0000 <songzh_> Iteratee性能相当快,但是Conduit功能强,Pipe的话就是正确性
2015-04-25 03:00:17 +0000deadfool(~jason@112.90.37.218) (Ping timeout: 246 seconds)
2015-04-25 03:00:19 +0000 <Javran> ok
2015-04-25 03:00:44 +0000 <songzh_> 太多了,看了Haskell Cast,Conduit与Pipe的实现已经差不多殊途同归了。
2015-04-25 03:00:49 +0000 <fishts> 还有ekmett的machine
2015-04-25 03:01:01 +0000 <songzh_> 一个库?
2015-04-25 03:01:06 +0000 <Javran> machine好像用得不多呢..
2015-04-25 03:01:08 +0000 <songzh_> ekmett的库太多。
2015-04-25 03:01:29 +0000 <Javran> https://github.com/ekmett/machines
2015-04-25 03:03:16 +0000Javran怎么觉得都是在建管道
2015-04-25 03:03:34 +0000 <songzh_> 嗯,我一起在想为什么他们没有用Arrow。
2015-04-25 03:03:54 +0000 <songzh_> 而用的是Monad
2015-04-25 03:04:03 +0000 <songzh_> 现在对于Arrow的使用还是不清楚。
2015-04-25 03:04:42 +0000 <Javran> 对了你上次是不是说过arrow parser什么的
2015-04-25 03:05:13 +0000 <Javran> 我知道的Arrow的例子就yampa和HXT
2015-04-25 03:05:13 +0000 <songzh_> 是的,就是Arrow里能静态分析,但是代码已经不能用了,写论文的人也不负责,不把代码给全。
2015-04-25 03:05:21 +0000 <Javran> :(
2015-04-25 03:05:46 +0000 <songzh_> yampa里好复杂,Nilsson搞的。
2015-04-25 03:05:54 +0000 <songzh_> 但是好像也是基于Continuation的。
2015-04-25 03:06:13 +0000 <songzh_> 我问了一下他的PhD,给我解释得有些明白了。
2015-04-25 03:06:25 +0000 <Javran> 说说?
2015-04-25 03:06:39 +0000 <Javran> FRP我一直没太搞明白是怎么回事
2015-04-25 03:07:12 +0000fixme(~fixme@unaffiliated/fixme) (Remote host closed the connection)
2015-04-25 03:07:49 +0000 <songzh_> 就是说那个Event跟Behaviour不能是一个函数,而是通过continuation连接起来的。
2015-04-25 03:07:51 +0000 <Javran> 好像有见过写界面用FRP的,自己也试过,不过都是些简单例子....
2015-04-25 03:08:04 +0000 <Javran> 有没什么基本概念给科普一下