2015-04-25 02:51:34 +0000 <songzh_> unlift是指有没有bottom
2015-04-25 02:51:41 +0000 <Javran> 这俩放一起就混了...
2015-04-25 02:51:45 +0000 <songzh_> unbox是指有没有指针。
2015-04-25 02:52:09 +0000 <songzh_> C里的Int肯定没有bottom值
2015-04-25 02:52:16 +0000 <Javran>
2015-04-25 02:52:23 +0000 <songzh_> 所以他说 Unboxed types are also unlifted.
2015-04-25 02:52:24 +0000 <songzh_>
2015-04-25 02:52:28 +0000 <Javran> 刚才想起来UArray什么
2015-04-25 02:52:59 +0000 <Javran> ok
2015-04-25 02:53:17 +0000 <Javran> 好像扯远了...我看看
2015-04-25 02:53:38 +0000 <songzh_> ninegua今天来么?
2015-04-25 02:53:50 +0000 <Javran> Maybe
2015-04-25 02:54:24 +0000 <Javran> 他上次那个抓微博用的gist我拿去研究了一下
2015-04-25 02:54:47 +0000 <Javran> 还差一个lib接口改动太大不懂怎么修(
2015-04-25 02:54:56 +0000tinyblak(~tinyblak@106.39.41.172)
2015-04-25 02:54:57 +0000 <songzh_> 源码在哪里?
2015-04-25 02:55:04 +0000 <Javran> 微博这简直作死
2015-04-25 02:55:17 +0000 <Javran> https://gist.github.com/ninegua/923175791dec7a8a3259
2015-04-25 02:55:36 +0000 <Javran> API就那么点功能还不如直接抓网页实现功能(ry
2015-04-25 02:56:02 +0000 <Javran> 九瓜说这个是bit rot了,不过其实大部分还是能编译的...
2015-04-25 02:56:13 +0000 <Javran> 哦不是编译
2015-04-25 02:56:16 +0000fishts(da132b38@gateway/web/freenode/ip.218.19.43.56) (Ping timeout: 246 seconds)
2015-04-25 02:56:18 +0000 <Javran> 我想说type check
2015-04-25 02:57:21 +0000 <songzh_> 各种库不是很熟悉啊。
2015-04-25 02:57:44 +0000 <Javran> 怎么样,大家有没什么想到什么东西能用Haskell写的,我觉得是个不错的机会练练手呀
2015-04-25 02:57:51 +0000 <Javran> 虽然最近快期末了(
2015-04-25 02:57:59 +0000deadfool00(~jason@112.90.37.218)
2015-04-25 02:58:05 +0000zhangjun_(~zhangjun@218.82.187.115) (Ping timeout: 264 seconds)
2015-04-25 02:58:06 +0000 <Javran> 这个conduit我之前听过不过没用过
2015-04-25 02:58:13 +0000 <Javran> 感觉就是个stream的抽象
2015-04-25 02:58:17 +0000fishts(da132b38@gateway/web/freenode/ip.218.19.43.56)
2015-04-25 02:58:19 +0000 <songzh_> Conduit我了解
2015-04-25 02:58:20 +0000deadfool00(~jason@112.90.37.218) (Client Quit)
2015-04-25 02:58:23 +0000 <Javran> 嗯?
2015-04-25 02:58:27 +0000 <songzh_> 不止是Stream。