离散数学及其应用 1.6节 35题解

发布于 2020-12-01

水blog，题目: 判定下列论证(选自 Kalish and Montague[KaMa64])是否有效: 如果超人能够并愿意防止 …

“斑马谜题”的求解

发布于 2020-10-24

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

发布于 2020-10-13

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

发布于 2020-10-12

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

发布于 2020-10-12

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

发布于 2020-10-12

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

发布于 2020-10-12

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

发布于 2020-10-11

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