2015-04-25 03:08:32 +0000 <songzh_> 我见过Paul Hudak用了,但是没有找到代码,在Haskell主页上有视频。
2015-04-25 03:09:04 +0000 <Javran> Paul Hudak [蜡烛]
2015-04-25 03:09:17 +0000 <songzh_> 他应该没事吧。
2015-04-25 03:09:23 +0000 <songzh_> 是不是病危了。
2015-04-25 03:09:36 +0000 <Javran> 似乎是
2015-04-25 03:09:41 +0000 <songzh_> data SF a b = MkSF (a -> DTime -> (b, SF a b))
2015-04-25 03:09:49 +0000 <Javran> twitter上有传说不行了
2015-04-25 03:09:52 +0000 <songzh_> Signal Function这样定义的。
2015-04-25 03:09:58 +0000 <Javran> 下午的时候还去搜了一下
2015-04-25 03:10:05 +0000 <Javran> DTime?
2015-04-25 03:10:14 +0000 <songzh_> DTime就是Double
2015-04-25 03:10:22 +0000 <songzh_> 他本来有白血病的吧。
2015-04-25 03:11:16 +0000 <Javran> ok
2015-04-25 03:11:25 +0000 <Javran> 辟个谣
2015-04-25 03:11:54 +0000 <songzh_> 嗯。
2015-04-25 03:12:02 +0000 <Javran> "he is still with us"
2015-04-25 03:12:19 +0000 <Javran> 那继续FRP的问题吧..
2015-04-25 03:12:25 +0000 <songzh_> 看那微博了。
2015-04-25 03:13:04 +0000 <songzh_> 就是说你给一个输入,还有取样时间,返回结果跟一个余下的信号函数。
2015-04-25 03:13:05 +0000 <Javran> 正好最近在看Odersky和Meijer那个Reactive Programming
2015-04-25 03:13:21 +0000 <songzh_> Coursera上的?
2015-04-25 03:13:26 +0000 <Javran>
2015-04-25 03:14:08 +0000 <Javran> 余下的信号函数?
2015-04-25 03:14:39 +0000 <rink1969> 我记得infoq上有一篇介绍。net的rx的文章
2015-04-25 03:14:54 +0000 <songzh_> continuation
2015-04-25 03:15:00 +0000 <Javran> 好像Rx也是Meijer搞的呢
2015-04-25 03:15:16 +0000 <songzh_> 之前有个中科大的人也是这么实现的,其实仔细看了Yampa,也是类似的。
2015-04-25 03:15:24 +0000 <songzh_> net的rx?
2015-04-25 03:15:32 +0000 <songzh_> 什么语言的?
2015-04-25 03:15:34 +0000 <songzh_> F#?
2015-04-25 03:15:38 +0000 <Javran> 怎么说 (b, SF a b) ?
2015-04-25 03:16:06 +0000 <rink1969> linq的增强版吧
2015-04-25 03:16:12 +0000 <Javran> 有点像State那样的么
2015-04-25 03:16:12 +0000 <songzh_> 就是返回余下的信号函数。
2015-04-25 03:16:23 +0000 <songzh_> 不一样。