摘要: 这以题和括号匹配/逆波兰表达式这种有点像 但是由于返回值不同,需要用用栈+递归联合模拟才好做 #include <iostream> #include <cstring> #include <cstdlib> #include <string> #include <queue> #include < 阅读全文
posted @ 2022-04-28 17:40 古拉格群岛 阅读(1) 评论(0) 推荐(0) 编辑
摘要: 第一次魔兽世界: 这题 tm 是个啥啊? (挠头) 第二次魔兽世界: 勇敢重构,不怕困难! 终极魔兽世界 纪念一下花了我两天写 + 调试出来的有史以来最长代码!(过了成就感满满) 重要的是写好类,类写好了剩下的框架搭建起来很清楚,调试起来也很方便 #include <iostream> #inclu 阅读全文
posted @ 2022-04-27 22:24 古拉格群岛 阅读(2) 评论(0) 推荐(0) 编辑
摘要: 简单的看了一下课程内容:介绍了类,内联函数,友元函数,运算符重载,多态,虚函数,\(STL\) 等等。 这些内容之前仅有使用上的接触,并没真正理解过。需要用心学一下! (但是感觉郭炜老师讲的没李戈老师那么有趣) ← (我错了类真是挺好玩的) 函数指针 之前学习 \(SML\) 时,一直觉得将函数以参 阅读全文
posted @ 2022-04-18 12:49 古拉格群岛 阅读(2) 评论(0) 推荐(0) 编辑
摘要: 专题一的 计算导论与 C 语言基础 还是比较简单的,但弥补了我一些概念与细节上的缺陷。 但专题二开始出现了 指针 与 初步的 面向对象 内容,这是搞竞赛时接触比较少的。 函数 - C 程序的基本构成单位 函数的定义与声明: 关于 实参 与 形参 的概念:实参是实际向函数中传入的参数;形参是定义函数时 阅读全文
posted @ 2022-04-13 11:35 古拉格群岛 阅读(1) 评论(0) 推荐(0) 编辑
摘要: 搞竞赛的时候学的 C 语言,这门语言对我来说应该算是很亲切了。 然而竞赛涉及到的语言特征毕竟有限,较为偏向理论,与工作时需要用到的相关语言特征肯定有很大不同。遂萌生了想从零开始系统的学习一下 C 语言和面向对象编程理念的想法,那么就从 coursera 上的这门课开始吧! 第三次数学危机到图灵机 哥 阅读全文
posted @ 2022-04-06 18:27 古拉格群岛 阅读(16) 评论(0) 推荐(0) 编辑
摘要: Week 4 我们主要介绍 type inference 和 module 系统。 What is type inference? 对于 静态类型语言 (Statically typed languages) 如 ML,Java 与 C,每一个 binding 的类型是在编译时确定的。type-ch 阅读全文
posted @ 2022-04-06 12:00 古拉格群岛 阅读(4) 评论(0) 推荐(0) 编辑
摘要: 第三周主要介绍了 头等函数 (First-class function) 与 函数闭包 (Function Closure)的概念。 头等函数传递出一个重要的概念 :Functions are values,即函数可以作为参数传递,计算以及存储。而 函数闭包 则是指函数可以使用定义在其之外的变量,这 阅读全文
posted @ 2022-03-31 19:58 古拉格群岛 阅读(2) 评论(0) 推荐(0) 编辑
摘要: 第一周介绍了 ML 语言的一些表达与基本的 Language pieces 第二周主要关注 ML 语言中的各种类型 (type) Conceptual ways to build new types 任何一门编程语言都包含有两种类型,基础类型 (base type) 与复合类型 (compound 阅读全文
posted @ 2022-03-19 23:30 古拉格群岛 阅读(4) 评论(0) 推荐(0) 编辑
该文被密码保护。 阅读全文
posted @ 2022-03-15 17:56 古拉格群岛 阅读(0) 评论(0) 推荐(0) 编辑
摘要: 博客园,我又回来啦! Static & Dynamic environment 在ML语言中,每当出现一个新的语句,我们都用现存的 Static / Dynamic Environment 对它进行 type-check / Evaluate。 只有通过 type-check 的语句才不会出现错误。 阅读全文
posted @ 2022-03-14 22:18 古拉格群岛 阅读(6) 评论(0) 推荐(0) 编辑