write-you-a-typescript
write-you-a-typescript copied to clipboard
suica
Hello 👋 I was taking a look at the content of the slides but unfortunately, I still don't speak Chinese but I would like to learn through the content. Is...
Bumps [@babel/traverse](https://github.com/babel/babel/tree/HEAD/packages/babel-traverse) from 7.20.13 to 7.23.2. Release notes Sourced from @babel/traverse's releases. v7.23.2 (2023-10-11) NOTE: This release also re-publishes @babel/core, even if it does not appear in the linked release...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [@babel/traverse](https://github.com/babel/babel/tree/HEAD/packages/babel-traverse) from 7.20.13 to 7.23.2. Release notes Sourced from @babel/traverse's releases. v7.23.2 (2023-10-11) NOTE: This release also re-publishes @babel/core, even if it does not appear in the linked release...
Bumps [postcss](https://github.com/postcss/postcss) from 8.4.21 to 8.4.31. Release notes Sourced from postcss's releases. 8.4.31 Fixed \r parsing to fix CVE-2023-44270. 8.4.30 Improved source map performance (by @romainmenke). 8.4.29 Fixed Node#source.offset (by...
我们可以从抽象解释的视角去看类型系统做的事情。 由此，我们可以得到：类型检查器是一个抽象解释器，其对应的具体解释器是JavaScript。因为解释器的规则相似，抽象解释器（类型检查器）也是图灵完备的就是一个直接的结果了。基于类似的性质，类型和命题的柯里-霍华德同构也有抽象解释的视角，区别在于，CHI由于是同构，可以做到Sound & Complete。 抽象解释是一个箩筐，什么都可以往里装。但是我们不会详细介绍伽罗华连接，只是用可视化的方法给读者一个直观的感觉。 参考文献： - [CMU 15-414 Abstract Interpretation slides](http://www.cs.cmu.edu/~soonhok/talks/20111109.pdf) - [Abstract Interpretation](https://www.di.ens.fr/~cousot/AI/#tth_sEc1)
修订计划
## 现状 1. 多态 TAT 的测试用例不充分。 2. 对数学知识的要求不够理想。我们需要让大多数开发者都能够读懂这个教程，因此需要对教程补充更多的注释性文本，控制难度曲线。 3. 缺少图片。我们发现对一些较为抽象的概念，若是进行可视化，可以更好地辅助理解。 4. 我现在已经学到了更多的知识，并且对类型理论和编程语言有了更好的理解。 Ref: #19 ## 计划 我决定对本教程进行修订，包含如下事项： - [x] #22 - [x] #21 - [x] #23 - [ ] #26...