Even at the early stage of programming language when von Neumann languages were monopolistic, John Backus began to challenge…
Continue reading
人类语言经历了从自然语言，到数学语言，再到计算机编程语言的发展历程。当然，这种时间上的列举顺序完全不隐含任何从原始到先进的影射……
Continue reading
函数是从输入到输出的映射关系，可以看做是一条连边（其实边还可以看做是一种行为）。函数式编程语言用边来描述世界，你是你只因为你有这种行为能力……
Continue reading
