计算原理的思考

Showing what is Monad Reader and State, and how to understand them exactly.

编译的全过程，可以从两个方向去看，一是从上往下，另一个是从下往上看。 从上层往下看，也就是从编程语言往指令集、指令集的硬件实现，的方向看，这是一步步具象化的过程，也就是从问题域具象到实现域的过程。

Generalized Propositional Logics with their syntax and semantics.

Show some concepts about Logic Hierarchy and Fisrt-Order Logic Language

OOP is Object-Oriented Programming; PP is Procedure Programming; and FP is Functional Programming.

Polymorphsim means there are multiply forms for the same thing. And data in computer looks like that

In computer science, it uses binary positional numbering system to represent numbers. For instance,

Let us count apples in a bag. To make it more fun, we need to forget number, pretending we don't kno