文件名称：magic-in-ten-mins-cpp
文件大小：21KB
文件格式：ZIP
更新时间：2024-06-16 05:24:17
十分钟魔法练习（C++） 改写自, 原版为java实现 其他版本： | 抽象与组合 希望能在十分钟内教会你一样魔法 QQ群：1070975853 | 目录中方括号里的是前置技能。 本文的c++版本在无特殊声明的情况下为c++11 类型系统 中等 | 简单类型 λ 演算(Simply-Typed Lambda Calculus)[C++面向对象基础，ADT，λ 演算] 中等 | 系统 F(System F)[C++面向对象基础，ADT，简单类型 λ 演算] 较难 | 构造演算(Calculus of Construction)[C++面向对象基础， ADT ，系统 F ω] 偏易 | π 类型和 Σ 类型(Pi type & Sigma type)[ADT ，构造演算] 计算理论 较难 | λ 演算(Lambda Calculus)[C++面向对象基础，ADT] 偏易 | 求值策略(Eva
【文件预览】：
magic-in-ten-mins-cpp-master
----doc()
--------Monoid.md(5KB)
--------GADT.md(1KB)
--------ADT.md(5KB)
--------Monad.md(4KB)
--------HKT.md(2KB)
--------StateMonad.md(5KB)
--------CoData.md(3KB)
----.gitignore(421B)
----readme.md(2KB)
----licence(19KB)