如果翻译器对程序进行了彻底的分析而非某种机械的变换，而且生成的中间程序与源程序之间已经没有很强的相似性，我们就认为这个语言是编译的。 彻底的分析和非平凡的变换，是编译方式的标志性特征。
如果你对知识进行了彻底的分析而非某种机械的套弄，在你脑中生成的概念与生硬的文字之间已经没有很强的相似性，我们就认为这个概念是被理解的。 彻底的分析和非凡的变换，是获得真知的标志性特征。
- TS
- nestjs
- rabbitMQ
- Swagger
- https://zhuanlan.zhihu.com/p/372790745
- https://www.tangshuang.net/8140.html
- https://www.zhihu.com/question/515733651
- https://github.com/type-challenges/type-challenges/blob/master/README.zh-CN.md
- https://zhuanlan.zhihu.com/p/64446259
- https://zhuanlan.zhihu.com/p/181696903
- https://zhuanlan.zhihu.com/c_206498766
- https://zhuanlan.zhihu.com/p/95829351
- https://zhuanlan.zhihu.com/p/370000610
- https://blog.rexskz.info/typescript-type-system-and-functional-programming.html
- https://zhuanlan.zhihu.com/p/449762679
-
hashmap的实现
-
多进程
-
多线程
-
状态同步
- 后台如何生成唯一id
- 如何生成不递增的唯一id
我认为，在计算机科学中保持计算中的趣味性是特别重要的事情。我认为，我们的责任是去拓展这一领域，将其发展到新的方向，并在自己家里保持趣味性。我希望，我们不要变成传道士，不要认为你是兜售圣经的人。你所掌握的，也是我认为并希望的，也就是智慧：那种看到这一机器比你第一次站在他面前能做得更多的能力。这样你才能将他向前推进。 Alan J. Perlis
一个计算机语言并不仅仅是让计算机执行操作的一种方式，更重要的是，他是一种表述有关方法学的**的新颖的形式化媒介。因此，程序必须写得能供人们阅读， 偶尔地去供计算机执行。其次，我们相信，在这一层次的课程里，最基本的材料并不是特定计算机设计语言的语法，不是高效计算某种功能的巧妙算法，也不是算法的数学分析或计算的本质基础，而是一些能够控制大型软件系统的智力复杂性的技术。
掌握了控制大型系统中的复杂性的主要技术。应该知道，在什么时候那些东西不需要去读，那些东西不需要去理解。
(有关Lisp)，可以做过程抽象和数据抽象，可以通过高阶函数抓住公共的使用模式，可以用赋值和数据操作去模拟局部状态，可以利用流和延时求值连接起一个程序的各个部分。
当我们描述一个语言的时，需要将注意力放在这一语言所提供的，能够将简单的认识组合起来形成更复杂认识的方法方面。每一种强有力的语言都为此提供了三种机制：
- 基本表达形式。最简单个体
- 组合的方法。简单个体构造复合元素
- 抽象的方法。通过这个抽象的方法，为复合对象命名，并将它当做单元去操作
-
2019/4/21 新增todolist，尽量保持关注的连续性，不可东一榔头，西一棒槌
-
2019/4/29 更新文章列表
-
2019/5/10 更新文章列表
-
2019/8/20 新增技术主题
-
2019/8/28 新增并发文档
-
2019/9/22 新增设计模式
-
2019/10/18 更新目录
-
2019/11/10 新增Racket语言写的interpreter
-
2019/12/14 Docker
-
2020/2/13 新增前端项目管理
-
2020/2/16 Linux基础