Twilight Spring
主页
时间轴
标签
分类
友链
关于我
杂项
音乐
动漫
图库
文章
18
标签
24
分类
16
主页
时间轴
标签
分类
友链
关于我
杂项
音乐
动漫
图库
Twilight Spring
替罪羊树 Scape Goat Tree
2019-09-30
|
算法与数据结构 ( Algorithm & Data Structure )
二叉搜索树 ( Binary Search Tree )
替罪羊树 ( Scape Goat Tree )
学校作业 ( Homework )
替罪羊树 Scape Goat Tree本来数据结构的作业是想用AVL树的,但是奈何…删除真的是写的令人头大…所以! 替罪羊树万岁!!!替罪羊树 是一种依靠重构操作维持平衡的重量平衡树。替罪羊树会在插入、删除操作时,检测途经的节点,若发现失衡,则将以该节点为根的子树重构。 – 来自 OI WIK ...
Hello Guest
2019-09-29
|
你好世界 ( Hello World )
你好,来访者
Odd + Even = Odd? Prove it!
2019-07-30
|
函数式编程 ( Functional Programming )
Haskell
Codewars
Odd + Even = Odd? Prove it!心血来潮用Haskell去尝试了下做形式证明,发现果然还是好痛苦啊…直接上代码吧…毕竟也是很简单的题鸭…Ref: Odd + Even = Odd? Prove it! -Codewars Agda Version123456789101112 ...
Scott Encoding
2019-07-22
|
函数式编程 ( Functional Programming )
Haskell
Codewars
λ 演算
Scott-EncodingRef: Scott Encoding12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626 ...
Five Fundamental Monads
2019-07-21
|
函数式编程 ( Functional Programming )
Haskell
范畴论 ( Category Theory )
Monad
Five Fundamental MonadsRef: Five Fundamental Monads - Codewars123456789101112131415161718192021222324252627282930313233343536373839404142{-# LAN ...
抽象与组合的艺术 范畴论
2019-07-20
|
函数式编程 ( Functional Programming )
Haskell
范畴论 ( Category Theory )
组合与抽象的艺术 范畴论从C++的模板元编程到Haskell再从Haskell到🐱论,抽象程度不断提升👆我们更关注其共性而非其特例从复杂中抽象出平凡的本质… 范畴 Category范畴Category由一堆对象Objects和对象之间的态射Morphism组成范畴Category中的Objec ...
乘法交换律与结合律的证明
2019-07-01
|
函数式编程 ( Functional Programming )
Haskell
Codewars
交换交换律与结合律的证明 - Haskell VersionRef: A+B=B+A? Prove it! -CodewarsRef: (A+B)+C=A+(B+C)? Prove it!1234567891011121314151617181920212223242526272829303132 ...
Recursion Schemes
2019-04-28
|
函数式编程 ( Functional Programming )
Haskell
递归化数据结构 ( Recursion Schemes )
Recursion Schemes Fixed Point 不动点1newtype Term f = In { out:: f (Term f) } -- Fixed Point Generic Traversals 泛化遍历 Bottom to UpTo traverse a ...
1
2
Twiliness
Stay up late
文章
18
标签
24
分类
16
加入书签
公告
人面不知何处去,桃花依旧笑春风
最新文章
Java-Synchronizers
2019-10-26
谈一谈Java反射 (下)
2019-10-26
谈一谈Java反射 (上)
2019-10-26
字符串匹配03 - KMP 算法
2019-10-07
字符串匹配02 - Sunday 算法
2019-10-07
分类
Codewars
3
Java
3
λ 演算
1
你好世界 ( Hello World )
1
函数式编程 ( Functional Programming )
7
Haskell
7
Monad
1
学校作业 ( Homework )
1
日常生活 (Daily Life)
1
算法与数据结构 ( Algorithm & Data Structure )
5
二叉搜索树 ( Binary Search Tree )
1
替罪羊树 ( Scape Goat Tree )
1
字符串匹配 ( String Matching )
3
算法分析 (Analysis of Algorithms)
1
范畴论 ( Category Theory )
3
递归化数据结构 ( Recursion Schemes )
1
标签
CPlusPlus
Codewars - Haskell
Haskell
Java
Multi Thread
Reflection ( 反射 )
Synchronizers
λ 演算 (λ Calculus)
二叉搜索树 ( Binary Search Tree )
作业 ( Homework )
你好,世界 ( Hello World )
函数式编程 (Functional Programming )
函数式编程 (Functional Programming ) - Codewars - Haskell
函数式编程 (Functional Programming ) - Haskell
函数式编程 (Functional Programming ) - 范畴论 ( Category Theory ) - Haskell
单子 ( Monad )
堆 (Heap)
字符串匹配 ( String Matching )
日常生活 (Daily Life)
替罪羊树 ( Scape Goat Tree )
算法与数据结构 ( Algorithm & Data Structure )
算法分析 (Analysis of Algorithms)
范畴论 ( Category Theory )
递归化数据结构 ( Recursion Schemes )
归档
2019年10月
9
2019年09月
3
2019年07月
5
2019年04月
1
网站资讯
文章数目 :
18
已运行时间 :
本站访客数 :
本站总访问量 :
繁