什么是代数数据类型

(缩写：ADT）是一种复合类型，指由其他资料类型组合而成的类型，在电脑编程中，尤其是函数式编程和类型论中应用。 两类常见的代数类型是积类型（即元组和记录）与和类型（即标签联合)

VPC

1. 域: 是一个通用的 DNS 概念。域名是数字寻址 Internet 资源的易于识别的名称。例如，amazon.com 是一个域
   

什么是 lambda 演算

\(\lambda\) 演算（Lambda Calculus）是一种形式体系，它仅通过函数定义（抽象化）与函数应用这两种极为简单的操作来表达计算。它虽然简单，却是图灵完备的，可以模型化任何计算，并构成了函数式编程语言的理论基础。

DONE 1 《go语言定制指南》

还不错的一本书，主要讲了Go的语法解析，语义分析， 它的AST， SST， 以及LLVM，最后利用LLVM和Go做了一个新语言的Demo

DONE 1 《学习 wasm 视频》

DONE 2 《牧羊少年奇幻之旅》

EFFORT: 1:51

你追寻梦想，整个世界都会帮你