GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → niltok → Magic In Ten Mins

niltok / Magic In Ten Mins

Licence: cc-by-4.0
十分钟魔法练习

Programming Languages

java
68154 projects - #9 most used programming language

Labels

htmltutorialfunctional-programmingmonadlambda-calculus

Projects that are alternatives of or similar to Magic In Ten Mins

Fp Core.rs
A library for functional programming in Rust
Stars: ✭ 772 (+136.09%)
Mutual labels:  monad, lambda-calculus, functional-programming
Learn Fp
learn-by-doing course/tutorial for functional programming on scala
Stars: ✭ 548 (+67.58%)
Mutual labels:  monad, tutorial, functional-programming
Rubico
[a]synchronous functional programming
Stars: ✭ 133 (-59.33%)
Mutual labels:  monad, functional-programming
Fpgo
Monad, Functional Programming features for Golang
Stars: ✭ 165 (-49.54%)
Mutual labels:  monad, functional-programming
Fluture
🦋 Fantasy Land compliant (monadic) alternative to Promises
Stars: ✭ 2,249 (+587.77%)
Mutual labels:  monad, functional-programming
Masala Parser
Javascript Generalized Parser Combinators
Stars: ✭ 110 (-66.36%)
Mutual labels:  monad, functional-programming
F
Functional stuff for Python
Stars: ✭ 113 (-65.44%)
Mutual labels:  monad, functional-programming
Functional Examples
Examples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (-45.26%)
Mutual labels:  monad, functional-programming
Tsoption
Correct, easy to use Option type for TypeScript. 🦄
Stars: ✭ 53 (-83.79%)
Mutual labels:  monad, functional-programming
Lambda Talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Stars: ✭ 315 (-3.67%)
Mutual labels:  lambda-calculus, functional-programming
Cats Mtl
cats transformer type classes.
Stars: ✭ 238 (-27.22%)
Mutual labels:  monad, functional-programming
Golang Tutorials
Go Tutorials - Let's get our hands really dirty by writing a lot of Golang code
Stars: ✭ 277 (-15.29%)
Mutual labels:  tutorial, functional-programming
Functionaljava
Functional programming in Java
Stars: ✭ 1,472 (+350.15%)
Mutual labels:  monad, functional-programming
Cats Stm
An STM implementation for Cats Effect
Stars: ✭ 106 (-67.58%)
Mutual labels:  monad, functional-programming
Dunai
Classic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions
Stars: ✭ 115 (-64.83%)
Mutual labels:  monad, functional-programming
Cyclops
An advanced, but easy to use, platform for writing functional applications in Java 8.
Stars: ✭ 1,180 (+260.86%)
Mutual labels:  monad, functional-programming
Mostly Adequate Guide Chinese
函数式编程指北中文版
Stars: ✭ 2,093 (+540.06%)
Mutual labels:  monad, functional-programming
Lambda
🔮 Estudos obscuros de programação funcional
Stars: ✭ 297 (-9.17%)
Mutual labels:  lambda-calculus, functional-programming
Purify
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
Stars: ✭ 843 (+157.8%)
Mutual labels:  monad, functional-programming
Purefun
Functional Programming library for Java
Stars: ✭ 37 (-88.69%)
Mutual labels:  monad, functional-programming
View All Similar Projects ➔

十分钟魔法练习

Rust版-光量子 | C++版-图斯卡蓝瑟 | C#版-CWKSC

抽象与组合

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

QQ群：1070975853 | Telegram Group

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

类型系统

偏易 | Markdown | HTML | 代数数据类型(Algebraic Data Type) [Java 基础]

偏易 | Markdown | HTML | 广义代数数据类型(Generalized Algebriac Data Type) [Java 基础， ADT]

偏易 | Markdown | HTML | 余代数数据类型(Coalgebraic Data Type) [Java 基础， ADT]

偏易 | Markdown | HTML | 单位半群(Monoid) [Java 基础]

较难 | Markdown | HTML | 高阶类型(Higher Kinded Type) [Java 基础]

中等 | Markdown | HTML | 单子(Monad) [Java 基础， HKT]

较难 | Markdown | HTML | 状态单子(State Monad) [Java 基础， HKT ， Monad]

中等 | Markdown | HTML | 简单类型 λ 演算(Simply-Typed Lambda Calculus) [Java 基础， ADT ，λ 演算]

中等 | Markdown | HTML | 系统 F(System F) [Java 基础， ADT ，简单类型 λ 演算]

中等 | Markdown | HTML | 系统 F ω(System F ω) [Java 基础， ADT ，系统 F]

较难 | Markdown | HTML | 构造演算(Calculus of Construction) [Java 基础， ADT ，系统 F ω]

偏易 | Markdown | HTML | π 类型和 Σ 类型(Pi type & Sigma type) [ADT ，构造演算]

计算理论

较难 | Markdown | HTML | λ 演算(Lambda Calculus) [Java 基础， ADT]

偏易 | Markdown | HTML | 求值策略(Evaluation Strategy) [Java 基础， λ 演算]

较难 | Markdown | HTML | 丘奇编码(Church Encoding) [λ 演算]

很难 | Markdown | HTML | 斯科特编码(Scott Encoding) [构造演算， ADT ， μ]

中等 | Markdown | HTML | Y 组合子(Y Combinator) [Java 基础，λ 演算，λ 演算编码]

中等 | Markdown | HTML | μ(Mu) [Java 基础，构造演算， Y 组合子]

中等 | Markdown | HTML | 向量和有限集(Vector & FinSet) [构造演算， ADT ，依赖类型模式匹配]

形式化验证

偏易 | Markdown | HTML | Curry-Howard 同构(Curry-Howard Isomorphism) [构造演算]

偏难 | Markdown | HTML | 莱布尼兹相等性(Leibniz Equality) [构造演算]

编程范式

简单 | Markdown | HTML | 表驱动编程(Table-Driven Programming) [简单 Java 基础]

简单 | Markdown | HTML | 续延(Continuation) [简单 Java 基础]

中等 | Markdown | HTML | 代数作用(Algebraic Effect) [简单 Java 基础，续延]

中等 | Markdown | HTML | 依赖注入(Dependency Injection) [Java 基础， Monad ，代数作用]

中等 | Markdown | HTML | 提升(Lifting) [Java 基础， HKT ， Monad]

编译原理

较难 | Markdown | HTML | 解析器单子(Parser Monad) [Java 基础， HKT ， Monad]

中等 | Markdown | HTML | 解析器组合子(Parser Combinator) [Java 基础， HKT ， Monad]

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].