“斑马谜题”的求解

发布于 2020-10-24

看离散数学及其应用这本书的时候发现这本书非常非常的良心,每一个小结都有至少45道习题。然后这1.2节讲的逻辑推理,于是47到题中给 …


Monads Part Five

发布于 2020-10-13

Monads(五) 我们已经非常接近”Monads Pattern”的真相了!迄今为止,我们明白了对于一个Monadic<T


Monads Part Four

发布于 2020-10-12

Monads(四) 到目前为止,我们已经知道了如果一个类型遵循Monad Pattern,那么我们就一定可以给其”内部类型(上一篇 ̷


Monads Part Three

发布于 2020-10-12

Monads(三) 在这个系列中我们将会从范畴学理论或函数式编程语言的实践开始,尝试通过分析各种模式来自底向上的了解”Monads ̷


Monads Part Two

发布于 2020-10-12

Monads(二) 在上一篇文章中,我以OOP程序员而非函数式程序员的视角去审视了Monads,”Monad Pattern”是一


Monads Part One

发布于 2020-10-12

我没有系统学过函数式编程和范畴论,不过万一以后要学了…正好今天看到了一系列ms员工的blog,就顺便翻译一下 本文章译自Fab …


深入理解Kotlin协程笔记(一)

发布于 2020-10-11

从今天开始要通过阅读深入理解Kotlin协程这本书来学习Kotlin协程的原理以及用途,并且会把阅读笔记在本站分享出来,一般我会边 …