2015-04-25 02:01:50 +0000 <shouya> 今天 javran 遲些才來
2015-04-25 02:01:52 +0000 <songzh_> nengua来不来?
2015-04-25 02:01:55 +0000 <shouya> 開始了
2015-04-25 02:02:11 +0000 <songzh_> ninegua
2015-04-25 02:02:12 +0000 <shouya> 不知道?我們的預定是下週聊 mflow 那篇論文
2015-04-25 02:02:20 +0000 <songzh_> 你是台湾的?
2015-04-25 02:02:27 +0000 <songzh_> @shouya
2015-04-25 02:02:27 +0000 <lambdabot> Unknown command, try @list
2015-04-25 02:02:30 +0000 <shouya> 不是呢?
2015-04-25 02:02:46 +0000 <shouya> 求別吐嘈正體字((
2015-04-25 02:03:36 +0000 <scturtle> “正体字”这个说法本来就……
2015-04-25 02:04:12 +0000 <songzh_> 我在Haskell里做2阶元编程有些困难。
2015-04-25 02:04:25 +0000 <songzh_> 不知道有没有人遇见过
2015-04-25 02:04:45 +0000 <shouya> 哇二階,用 template haskell 寫 template haskell…之類的?
2015-04-25 02:04:59 +0000 <songzh_> 是的啊,我发现Haskell做这个很受限。
2015-04-25 02:05:17 +0000 <songzh_> 有些特定的问题解决不了。
2015-04-25 02:05:58 +0000 <rink1969> 做什么东西,需要用到2阶元编程那么抽象啊?
2015-04-25 02:06:26 +0000 <songzh_> 等一下,我找找。
2015-04-25 02:06:33 +0000reeze(~Adium@60.28.208.189)
2015-04-25 02:06:36 +0000 <rink1969> 今天不是i随便聊聊嘛
2015-04-25 02:06:48 +0000 <rink1969> 我对大家都在用haskell做什么比较好奇
2015-04-25 02:08:08 +0000 <shouya> 我的話能用 hs 寫都用 hs 寫了(
2015-04-25 02:08:36 +0000 <scturtle> 我就随便玩玩,排解寂寞(
2015-04-25 02:08:50 +0000 <shouya> gayhub 嗎(
2015-04-25 02:09:24 +0000 <scturtle> 还有这种写法啊 23333
2015-04-25 02:09:34 +0000 <fishts> 想过用Haskell想写Ruby, Python那样在REPL上做些渐进的小脚本, 无奈Haskell的各种功能的库都没有预制在标准库里....
2015-04-25 02:09:42 +0000 <songzh_> 不知道你们用没用过derive库。
2015-04-25 02:10:03 +0000 <songzh_> 类型是这样的。
2015-04-25 02:10:04 +0000 <songzh_> derive :: Derivation -> Name -> Q [Dec]
2015-04-25 02:10:21 +0000 <fishts> 我大概猜到songzh_是谁了 (
2015-04-25 02:10:52 +0000 <songzh_> 很生成class的DSL给它,然后把data Name给它,他给你生成instance
2015-04-25 02:11:40 +0000 <rink1969> 张淞,他之前说过了
2015-04-25 02:11:58 +0000 <songzh_> 现在我想把Derivation也改成Name,比如Eq,然后再call derive函数找到相应的class,但是这个好像做不出来。
2015-04-25 02:12:42 +0000 <shouya> 還在看這個庫是做甚麼的…
2015-04-25 02:13:10 +0000 <songzh_> 就是自动生成类型类实例的。