即使使用英文， #PLT 领域内就连最简单的术语都充满着歧义和晦涩。如果你对 PLT 里的各种术语仍未祛魅，去搞清楚 dependent sum type 和 sum type 的区别吧，这是每一个 PLer 学习过程中必吃的 💩。
啊，这个 #dalao 说的道理太好了，我太喜欢了 https://github.com/anqur/TinyLean
hole 和 React useHook(var) 差不多，这种比喻都被一些人视为不优雅的。 就是要去魅，要抽象，要解构
比如那个栏目答(入x. x+1) ，就是不能用他们的语言转述， 就是不能用它们的(()圆括号)讲解，要用中文，要不然就被带到坑里去了。
啊，这个 #dalao 说的道理太好了，我太喜欢了 https://github.com/anqur/TinyLean
hole 和 React useHook(var) 差不多，这种比喻都被一些人视为不优雅的。 就是要去魅，要抽象，要解构
比如那个栏目答(入x. x+1) ，就是不能用他们的语言转述， 就是不能用它们的(()圆括号)讲解，要用中文，要不然就被带到坑里去了。