「Linux」工具的使用 流编辑器——sed 工作流 读取： sed 从输入流（文件，管道或者标准输入）中读取一行并且存储到一个叫作 模式空间（patter

「Git」操作技巧 基本概念 三种状态和三个区 已提交（commited） 已修改（modified） 以暂存（staged） 工作区（working d

Haskell 是一个强类型语言 类型与数据 常见类型 Bool ：两个值 True False ，逻辑非是 not Haskell 中约定类型的名字与该类型的数据（类型构造器）的首字母要大写 Char ：使用单引号，还

$\lambda$ 演算是什么 是一套从数学逻辑中发展，以变量绑定和替换的规则，来研究函数如何抽象化定义、函数如何被应用以及递归的形式系统。—— WikiPédi

Intro 从$\lambda$ 演算开始，到 Lisp Scheme ML，函数式编程的历史比 C 语言要久远得多。1987 年的函数式编程与计算机体系结构的会议 上，Haskel