摘要：
引言 类型系统被采用并被作为类型检查的一种手段，从二十世纪五十年代的FORTRAN语言编译器就已开始。采用类型论（type theory）观点的编程语言类型系统的研究，在软件工程、编程语言设计、高性能编译器和网络安全等方面都有重要应用.通过学习计算机科学导论这门课程以及课下查阅资料，作者加深了对编程 阅读全文
摘要：
这两天帮赵同学安装各种东西，vcpkg是其中之一，昨天搞了半天，遇到的问题记录一下。虽然不知道以后会不会用到。 本来安装方法在git上写得很清楚，又简单。但是还是花费时间才搞清楚一些bug。 安装和使用方法 Prerequisites: Windows 10, 8.1, 7, Linux, or M 阅读全文
摘要：
D盘中一直有一些eula.txt等文件，依稀记得是当时xilink报错说缺失vc2008，这个应该是安装vc2008的时候产生的。很碍眼，但一直也不敢动。 今天整理文件夹，觉得实在不能忍，还是去查了一下。结果如下： 1.这些文件都是在硬盘根目录下,而不是在硬盘的某个文件夹里面. 2.伴随eula.1 阅读全文
摘要：
最近又开始写一些oj，主要还是想应对机试。其他且不论，今天遇到的这个问题先记录一下，日后在分析。 原本代码 ac代码 查找原因是 scanf不判断是否读到EOF 阅读全文