Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/penguin-wwy/magic-in-ten-mins-py

十分钟魔法练习 Python 版
https://github.com/penguin-wwy/magic-in-ten-mins-py

Last synced: about 2 months ago
JSON representation

十分钟魔法练习 Python 版

Awesome Lists containing this project

README 

        
# magic-in-ten-mins-py



十分钟魔法练习 Python 版



纯属娱乐，不保证全部正确性、准确性，以及Python特性使用的简洁性 (｀∀´)Ψ，使用部分 Python3.10 的内容



执行所有test case

```

PYTHONPATH="${PYTHONPATH}:/path/to/project" pipenv run pytest

```



# 十分钟魔法练习



[Java 版(原版，有不清楚的内容找他) - 玩火](https://github.com/niltok/magic-in-ten-mins)



[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)



抽象与组合



希望能在十分钟内教会你一样魔法



QQ群：1070975853 | 

[Telegram Group](https://t.me/joinchat/HZm-VAAFTrIxoxQQ)



> 目录中方括号里的是前置技能。



## 类型系统



偏易 |

[Markdown](doc/ADT.md) |

代数数据类型(Algebraic Data Type) 

[Python 基础]



偏易 |

[Markdown](doc/GADT.md) |

广义代数数据类型(Generalized Algebriac Data Type) 

[Python 基础， ADT] 



偏易 |

[Markdown](doc/CoData.md) |

余代数数据类型(Coalgebraic Data Type)

[Python 基础， ADT]



偏易 |

[Markdown](doc/Monoid.md) |

单位半群(Monoid)

[Python 基础]



较难 |

[Markdown](doc/HKT.md) |

高阶类型(Higher Kinded Type)

[Python 基础]



中等 |

[Markdown](doc/Monad.md) |

单子(Monad)

[Python 基础， HKT]



较难 |

[Markdown](doc/StateMonad.md) |

状态单子(State Monad)

[Python 基础， HKT ， Monad]



中等 |

[Markdown](doc/STLC.md) |

简单类型 λ 演算(Simply-Typed Lambda Calculus)

[Python 基础， ADT ，λ 演算]



中等 |

[Markdown](doc/SystemF.md) |

系统 F(System F)

[Python 基础， ADT ，简单类型 λ 演算]



> 中等 |

Markdown(doc/SysFO.md) | 

系统 F ω(System F ω)

[Python 基础， ADT ，系统 F]



> 较难 |

Markdown(doc/CoC.md) |

构造演算(Calculus of Construction)

[Python 基础， ADT ，系统 F ω]



> 偏易 |

Markdown(doc/PiSigma.md) |

π 类型和 Σ 类型(Pi type & Sigma type)

[ADT ，构造演算]



## 计算理论



较难 |

[Markdown](doc/Lambda.md) |

λ 演算(Lambda Calculus)

[Python 基础， ADT]



> 较难 |

Markdown(doc/DBI.md) |

De Bruijn 索引(De Bruijn index)

[Python 基础，ADT，λ 演算]



 偏易 |

[Markdown](doc/EvalStrategy.md) |

求值策略(Evaluation Strategy)

[Python 基础， λ 演算]



 较难 |

[Markdown](doc/ChurchE.md) |

丘奇编码(Church Encoding)

[λ 演算]



> 很难 |

Markdown(doc/ScottE.md) |

斯科特编码(Scott Encoding)

[构造演算， ADT ， μ]



中等 |

[Markdown](doc/YCombinator.md) |

Y 组合子(Y Combinator)

[Python 基础，λ 演算，λ 演算编码]



> 中等 |

Markdown(doc/Mu.md) |

μ(Mu)

[Python 基础，构造演算， Y 组合子]



> 中等 |

Markdown(doc/VecFin.md) |

向量和有限集(Vector & FinSet)

[构造演算， ADT ，依赖类型模式匹配]



## 形式化验证



> 偏易 |

Markdown(doc/CHIso.md) |

Curry-Howard 同构(Curry-Howard Isomorphism)

[构造演算]



> 偏难 |

Markdown(doc/LeiEq.md) |

莱布尼兹相等性(Leibniz Equality)

[构造演算]



## 编程范式



简单 |

[Markdown](doc/TableDriven.md) |

表驱动编程(Table-Driven Programming)

[简单 Python 基础]



简单 |

[Markdown](doc/Continuation.md) |

续延(Continuation)

[简单 Python 基础]



中等 |

[Markdown](doc/Algeff.md) |

代数作用(Algebraic Effect)

[简单 Python 基础，续延]



中等 |

[Markdown](doc/DepsInj.md) |

依赖注入(Dependency Injection)

[Python 基础， Monad ，代数作用]



中等 |

[Markdown](doc/Lifting.md) |

提升(Lifting)

[Python 基础， HKT ， Monad]



## 编译原理



> 较难 |

Markdown(doc/ParserM.md) |

解析器单子(Parser Monad)

[Python 基础， HKT ， Monad]



> 中等 |

Markdown(doc/Parsec.md) |

解析器组合子(Parser Combinator)

[Python 基础， HKT ， Monad]