CINXE.COM

<!DOCTYPE html><html lang="zh-CN" prefix="og: https://ogp.me/ns#"> <head > <meta charset="utf-8"/> <meta name="viewport" content="width=device-width,initial-scale=1.0"> <title > 十分钟魔法练习</title> <style > @font-face { font-family: "subset body font"; src: url("html/body.woff2") format("woff2"); } @font-face { font-family: "subset code font"; src: url("html/code.woff2") format("woff2"); } @font-face { font-family: "subset emoji font"; src: url("html/emoji.woff2") format("woff2"); } body { max-width: 35em; margin: auto; width: 90%; margin-top: 10%; margin-bottom: 10%; color: #0B0E26; background: #FAFAFC; line-height: 1.75em; text-rendering: optimizeLegibility; } html { scroll-behavior: smooth; font-size: calc(min(.35vw + 16px, 25px)); font-family: "subset body font", "Source Han Serif SC", "Noto Serif SC", "Songti SC", SimSun, "AR PL Sungti", "subset emoji font", serif; } h1 { font-size: 2.5rem; color: #EF96AB; line-height: 1.5em; } h2 { margin-top: 2rem; line-height: 1.5em; } h1, h2, h3 { /* text-align: center; */ } blockquote { color: gray; margin: 0; padding: 1px 0 1px 1.2em; border-left: .3em solid #EF96AB; } code, pre { font-size: 0.9rem; line-height: 1.8em; font-family: "subset code font", "等距更纱黑体 SC", "JetBrains Mono", "Fira Code", Menlo, Monaco, source-code-pro, Courier New, Consolas, "subset emoji font", monospace; background: #FCF6FC; border-radius: 3px; padding-inline: 0.3em; } pre { overflow-x: auto; padding: 1em 1.5em; } pre>code { padding-inline: 0; } ::-webkit-scrollbar, .element::-webkit-scrollbar, .element { /* opacity: 0.5; */ } a { color: #02AEF1; text-decoration: none; } @media (prefers-color-scheme: dark) { body { color: #D8D8D6; background: #0E0E10; } } @media (prefers-color-scheme: dark) { pre, code { color: #D8D8D6; background: #0E0F1F; } } .hljs-keyword { color: #F288AF; } .hljs-comment { color: #929CA6; } .hljs-string { color: #0594A6; } .hljs-title { color: #4581D9; } .hljs-type, .hljs-built_in { color: #fca311; }</style> </head> <body > <a href="https://magic.huohuo.moe">🏠Homepage🏠</a> | <a href="https://github.com/niltok/magic-in-ten-mins">⭐Star me on GitHub⭐</a> <h1 id="十分钟魔法练习">十分钟魔法练习</h1> <a href="https://github.com/PhotonQuantum/magic-in-ten-mins-rs">Rust 版 - 光量子</a> | <a href="https://github.com/tusikalanse/magic-in-ten-mins-cpp">C++ 版 - 图斯卡蓝瑟</a> | <a href="https://github.com/CWKSC/magic-in-ten-mins-csharp">C# 版 - CWKSC</a> | <a href="https://github.com/ofey404/magic-in-ten-mins-lua">Lua 版 - Ofey Chan</a> | <a href="https://github.com/LighghtEeloo/magic-in-ten-mins-ml">Ocaml 版 - 光吟</a> | <a href="https://github.com/penguin-wwy/magic-in-ten-mins-py">Python 版 - penguin_wwy</a> | <a href="https://github.com/wuyudi/magic-in-ten-mins-ts">Typescript 版 - wuyudi</a> 抽象与组合 希望能在十分钟内教会你一样魔法 QQ群：1070975853 | <a href="https://t.me/joinchat/HZm-VAAFTrIxoxQQ">Telegram Group</a> <blockquote> 目录中方括号里的是前置技能。 </blockquote> <h2 id="类型系统">类型系统</h2> 偏易 | <a href="doc/ADT.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/ADT.html">HTML</a> | 代数数据类型(Algebraic Data Type) [Java 基础] 偏易 | <a href="doc/GADT.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/GADT.html">HTML</a> | 广义代数数据类型(Generalized Algebriac Data Type) [Java 基础， ADT] 偏易 | <a href="doc/CoData.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/CoData.html">HTML</a> | 余代数数据类型(Coalgebraic Data Type) [Java 基础， ADT] 偏易 | <a href="doc/Monoid.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/Monoid.html">HTML</a> | 单位半群(Monoid) [Java 基础] 较难 | <a href="doc/HKT.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/HKT.html">HTML</a> | 高阶类型(Higher Kinded Type) [Java 基础] 中等 | <a href="doc/Monad.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/Monad.html">HTML</a> | 单子(Monad) [Java 基础， HKT] 较难 | <a href="doc/StateMonad.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/StateMonad.html">HTML</a> | 状态单子(State Monad) [Java 基础， HKT ， Monad] 中等 | <a href="doc/STLC.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/STLC.html">HTML</a> | 简单类型 λ 演算(Simply-Typed Lambda Calculus) [Java 基础， ADT ，λ 演算] 中等 | <a href="doc/SystemF.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/SystemF.html">HTML</a> | 系统 F(System F) [Java 基础， ADT ，简单类型 λ 演算] 中等 | <a href="doc/SysFO.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/SysFO.html">HTML</a> | 系统 F ω(System F ω) [Java 基础， ADT ，系统 F] 较难 | <a href="doc/CoC.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/CoC.html">HTML</a> | 构造演算(Calculus of Construction) [Java 基础， ADT ，系统 F ω] 偏易 | <a href="doc/PiSigma.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/PiSigma.html">HTML</a> | Π 类型和 Σ 类型(Pi type & Sigma type) [ADT ，构造演算] <h2 id="计算理论">计算理论</h2> 较难 | <a href="doc/Lambda.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/Lambda.html">HTML</a> | λ 演算(Lambda Calculus) [Java 基础， ADT] 较难 | <a href="doc/DBI.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/DBI.html">HTML</a> | De Bruijn 索引(De Bruijn index) [Java 基础，ADT，λ 演算] 偏易 | <a href="doc/EvalStrategy.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/EvalStrategy.html">HTML</a> | 求值策略(Evaluation Strategy) [Java 基础， λ 演算] 较难 | <a href="doc/ChurchE.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/ChurchE.html">HTML</a> | 丘奇编码(Church Encoding) [λ 演算] 很难 | <a href="doc/ScottE.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/ScottE.html">HTML</a> | 斯科特编码(Scott Encoding) [构造演算， ADT ， μ] 中等 | <a href="doc/YCombinator.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/YCombinator.html">HTML</a> | Y 组合子(Y Combinator) [Java 基础，λ 演算，λ 演算编码] 中等 | <a href="doc/Mu.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/Mu.html">HTML</a> | μ(Mu) [Java 基础，构造演算， Y 组合子] 中等 | <a href="doc/VecFin.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/VecFin.html">HTML</a> | 向量和有限集(Vector & FinSet) [构造演算， ADT ，依赖类型模式匹配] <h2 id="形式化验证">形式化验证</h2> 偏易 | <a href="doc/CHIso.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/CHIso.html">HTML</a> | Curry-Howard 同构(Curry-Howard Isomorphism) [构造演算] 偏难 | <a href="doc/LeiEq.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/LeiEq.html">HTML</a> | 莱布尼兹相等性(Leibniz Equality) [构造演算] <h2 id="编程范式">编程范式</h2> 简单 | <a href="doc/TableDriven.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/TableDriven.html">HTML</a> | 表驱动编程(Table-Driven Programming) [简单 Java 基础] 简单 | <a href="doc/Continuation.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/Continuation.html">HTML</a> | 续延(Continuation) [简单 Java 基础] 中等 | <a href="doc/Algeff.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/Algeff.html">HTML</a> | 代数作用(Algebraic Effect) [简单 Java 基础，续延] 中等 | <a href="doc/DepsInj.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/DepsInj.html">HTML</a> | 依赖注入(Dependency Injection) [Java 基础， Monad ，代数作用] 中等 | <a href="doc/Lifting.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/Lifting.html">HTML</a> | 提升(Lifting) [Java 基础， HKT ， Monad] <h2 id="编译原理">编译原理</h2> 较难 | <a href="doc/ParserM.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/ParserM.html">HTML</a> | 解析器单子(Parser Monad) [Java 基础， HKT ， Monad] 中等 | <a href="doc/Parsec.md">Markdown</a> | <a href="https://magic.huohuo.moe/html/Parsec.html">HTML</a> | 解析器组合子(Parser Combinator) [Java 基础， HKT ， Monad] </body> </html>