https://github.com/asukaminato0721/magic-in-ten-mins-ts
十分钟魔法练习 TypeScript 版
https://github.com/asukaminato0721/magic-in-ten-mins-ts
Last synced: 3 months ago
JSON representation
十分钟魔法练习 TypeScript 版
- Host: GitHub
- URL: https://github.com/asukaminato0721/magic-in-ten-mins-ts
- Owner: asukaminato0721
- License: cc-by-4.0
- Created: 2022-11-19T12:14:27.000Z (over 2 years ago)
- Default Branch: master
- Last Pushed: 2022-12-06T20:59:42.000Z (over 2 years ago)
- Last Synced: 2025-04-02T12:53:30.424Z (3 months ago)
- Size: 77.1 KB
- Stars: 8
- Watchers: 1
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: readme.md
Awesome Lists containing this project
README
# 十分钟魔法练习
改写自 [十分钟魔法练习-玩火](https://github.com/goldimax/magic-in-ten-mins)
原版为 Java 实现
[Rust 版 - 光量子](https://github.com/PhotonQuantum/magic-in-ten-mins-rs) |
[C++ 版 - 图斯卡蓝瑟](https://github.com/tusikalanse/magic-in-ten-mins-cpp) |
[C# 版 - CWKSC](https://github.com/CWKSC/magic-in-ten-mins-csharp) |
[Lua 版 - Ofey Chan](https://github.com/ofey404/magic-in-ten-mins-lua) |
[Ocaml 版 - 光吟](https://github.com/LighghtEeloo/magic-in-ten-mins-ml) |
[Python 版 - penguin_wwy](https://github.com/penguin-wwy/magic-in-ten-mins-py) |
[TypeScript 版 - Asuka Minato](https://github.com/wuyudi/magic-in-ten-mins-ts)
抽象与组合
希望能在十分钟内教会你一样魔法
QQ 群：1070975853 |
[Telegram Group](https://t.me/joinchat/HZm-VAAFTrIxoxQQ)
> 目录中方括号里的是前置技能。
## Usage
### yarn
```
yarn
yarn test
```
### npm
```
npm i
npm test
```
如果整体测试过慢，就照着 `package.json` 里的 `Continuation` 手动加测试命令。
```
npm run Continuation
```
## 类型系统
- [x] 偏易 |[Markdown](doc/ADT.md) |代数数据类型 (Algebraic Data Type) [TypeScript 基础]
- [x] 偏易 |[Markdown](doc/GADT.md) |广义代数数据类型 (Generalized Algebriac Data Type) [TypeScript 基础， ADT]
- [x] 偏易 |[Markdown](doc/CoData.md) |余代数数据类型 (Coalgebraic Data Type)[TypeScript 基础， ADT]
- [x] 偏易 |[Markdown](doc/Monoid.md) |单位半群 (Monoid)[TypeScript 基础]
较难 |[Markdown](doc/HKT.md) |高阶类型 (Higher Kinded Type)[TypeScript 基础]
- [x] 中等 |[Markdown](doc/Monad.md) |单子 (Monad)[TypeScript 基础， HKT]
较难 |[Markdown](doc/StateMonad.md) |状态单子 (State Monad)[TypeScript 基础， HKT ， Monad]
中等 |[Markdown](doc/STLC.md) |简单类型 λ 演算 (Simply-Typed Lambda Calculus)[TypeScript 基础， ADT ，λ 演算]
中等 |[Markdown](doc/SystemF.md) |系统 F(System F)[TypeScript 基础， ADT ，简单类型 λ 演算]
中等 |[Markdown](doc/SysFO.md) | 系统 F ω(System F ω)[TypeScript 基础， ADT ，系统 F]
较难 |[Markdown](doc/CoC.md) |构造演算 (Calculus of Construction)[TypeScript 基础， ADT ，系统 F ω]
- [x] 偏易 |[Markdown](doc/PiSigma.md) |Π 类型和 Σ 类型 (Pi type & Sigma type)[ADT ，构造演算]
## 计算理论
较难 |[Markdown](doc/Lambda.md) |λ 演算 (Lambda Calculus)[TypeScript 基础， ADT]
较难 |[Markdown](doc/DBI.md) |De Bruijn 索引 (De Bruijn index)[TypeScript 基础，ADT，λ 演算]
偏易 |[Markdown](doc/EvalStrategy.md) | 求值策略 (Evaluation Strategy)[TypeScript 基础， λ 演算]
较难 |[Markdown](doc/ChurchE.md) |丘奇编码 (Church Encoding)[λ 演算]
很难 |[Markdown](doc/ScottE.md) |斯科特编码 (Scott Encoding)[构造演算， ADT ， μ]
中等 |[Markdown](doc/YCombinator.md) |Y 组合子 (Y Combinator)[TypeScript 基础，λ 演算，λ 演算编码]
中等 |[Markdown](doc/Mu.md) |μ(Mu)[TypeScript 基础，构造演算， Y 组合子]
中等 |[Markdown](doc/VecFin.md) |向量和有限集 (Vector & FinSet)[构造演算， ADT ，依赖类型模式匹配]
## 形式化验证
- [x] 偏易 |[Markdown](doc/CHIso.md) |Curry-Howard 同构 (Curry-Howard Isomorphism)[构造演算]
偏难 |[Markdown](doc/LeiEq.md) |莱布尼兹相等性 (Leibniz Equality)[构造演算]
## 编程范式
- [x] 简单 |[Markdown](doc/TableDriven.md) |表驱动编程 (Table-Driven Programming)[简单 TypeScript 基础]
- [x] 简单 |[Markdown](doc/Continuation.md) |续延 (Continuation)[简单 TypeScript 基础]
- [x] 中等 |[Markdown](doc/Algeff.md) |代数作用 (Algebraic Effect)[简单 TypeScript 基础，续延]
中等 |[Markdown](doc/DepsInj.md) |依赖注入 (Dependency Injection)[TypeScript 基础， Monad ，代数作用]
中等 |[Markdown](doc/Lifting.md) |提升 (Lifting)[TypeScript 基础， HKT ， Monad]
## 编译原理
较难 |[Markdown](doc/ParserM.md) |解析器单子 (Parser Monad)[TypeScript 基础， HKT ， Monad]
中等 |[Markdown](doc/Parsec.md) |解析器组合子 (Parser Combinator)[TypeScript 基础， HKT ， Monad]