Twilight Spring

堆 Heap 2019-09-30|算法与数据结构 ( Algorithm & Data Structure )

堆 Heap本着能摸鱼就摸鱼的良好习惯,照着C++的STL抄了一套差不(很)多的堆操作…堆是一棵树，其每个节点都有一个键值，且每个节点的键值都大于等于/小于等于其父亲的键值。每个节点的键值都大于等于其父亲键值的堆叫做小根堆，否则叫做大根堆。STL 中的 priority_queue 其实就是一个大 ...

替罪羊树 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 )HaskellCodewars

Odd + Even = Odd? Prove it!心血来潮用Haskell去尝试了下做形式证明,发现果然还是好痛苦啊…直接上代码吧…毕竟也是很简单的题鸭…Ref: Odd + Even = Odd? Prove it! -Codewars Agda Version123456789101112 ...

Scott Encoding 2019-07-22|函数式编程 ( Functional Programming )HaskellCodewarsλ 演算

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

交换交换律与结合律的证明 - Haskell VersionRef: A+B=B+A? Prove it! -CodewarsRef: (A+B)+C=A+(B+C)? Prove it!1234567891011121314151617181920212223242526272829303132 ...