19:03:38	 From Alvis Chan : 支付了1元
19:03:44	 From Alvis Chan : 好二维码✔
19:03:55	 From Takumi : 你们好啊
19:04:16	 From Alvis Chan : 、、不用放大就能扫
19:07:26	 From Fan Dang : 我也支付了（
19:21:29	 From Lou Chenyao : 采用OO思想的雷课堂
19:24:24	 From Pengcheng Xu : 上週剛學過
19:33:30	 From Lou Chenyao : i+++++
19:41:14	 From Fan Dang : 谁在屏幕上画
19:43:20	 From Lou Chenyao : 用dsl 的有不是程序员嘛👩‍💻
19:44:38	 From Junde Yhi : 奇怪的笔迹越来越多了
19:51:23	 From Fan Dang : 有吧
19:55:04	 From Fan Dang : 3这么高级了……
19:55:53	 From Pengcheng Xu : Prelude>
19:57:09	 From Pengcheng Xu : 其實 java.lang.* 也是自動導入的？
20:00:01	 From Fan Dang : 所以 kotlin 改进了一下，用显式的 "companion" object
20:02:17	 From Pengcheng Xu : 暴力
20:02:53	 From Fan Dang : 太暴力啦
20:02:54	 From Jacky_Jnirvana : 这个好像其实是Odersky原书上的例子
20:05:07	 From Jacky_Jnirvana : 如果extends App的话就不用写def main…了
20:28:16	 From Pengcheng Xu : 朱老師咋有 62 頁 slide
20:37:40	 From Pengcheng Xu : 哈哈 variant rules
20:43:16	 From Pengcheng Xu : TAPL 來了
20:53:55	 From Junde Yhi : 小 Scala 你是否有很多问号
21:34:23	 From Pengcheng Xu : 這裡說的範疇是狹義的範疇嗎
21:43:57	 From Pengcheng Xu : silver bullet
21:44:55	 From Shengqi Chen : 朱老师都是从哪里找到这些黑的图的（上次的 llvm