二十有二 二十有二 二十二岁的第一天十分“充实”,昨晚和沐妍聊人生跨过零点,早晨到公司,高老板反手就是一个高压锅(大雾),晚上两场 RG 加上组会,以至于回家都没来得及给自己买一个蛋糕。 不过无所谓了,细数二字头的第一年,收获太多,一份蛋糕怕是装不下。 一人居一室,听喜欢的歌,做喜欢的事,某种意义上或许是我为自己准备的第一个生日。想想着一年,经历了最漫长的疫情,读了几本书,去了几座城市,决定了研究生去 2020-11-25 Life 随笔 随笔
落叶莫扫,红叶知秋 落叶莫扫,红叶知秋 今天是第十周周日(确信),翻了一下博客日志似乎缺了上周的碎碎念。哦,那时候应该刚刚和酒罐子们聚餐完,快乐飞奔,然后...然后就不堪回忆了(据说我人跑丢了)...... 今天去杨浦区体验了两条“落叶不扫”的街道,不过秋意未浓,落叶 🍂 还未铺满行道,拍到了锻炼中的长跑运动员以及一对父子。二人各骑一辆自行车,后轮卷起淡黄的银杏叶,思绪被拉回小时候父亲母亲骑车带我去练电子琴的时 2020-11-15 Life 随笔 随笔
Haskell——自定义数据类型 自定义类型 读 Haskell 代码时发现有两种自定义类型的方式,速成学习做以下记录。 data 关键字+枚举 1234567data TopDecl = DeclareType !TypeDecl | DeclareConst !ConstDef | DeclareNode !NodeDecl | DeclareNodeInst !NodeInstDecl 2020-11-13 Computer Science Haskell Haskell
OCaml学习——Substitution-and-Evaluation Substitution and Evaluation Implementing OCaml in OCaml Part 2. Evaluation Evaluation rewrites the abstact syntax of a program step-by-step until it produces a value. Example 12345678910111213141 2020-11-11 Computer Science OCaml OCaml