Welcome to Haskell 在上一篇文章中，我通过几个Java的例子简单的说明了Monad的本质和一些工程中常见的用途。接下来的文章就不再侧重于工程了，而是要慢慢向理论转换。而作为过渡，我选择了Haskell来代替Java进行说明。本篇文章默认读者已经对Haskell的基本语法有所了解，因 […]
按月归档:6 月, 2020
关于启动引导的那些事儿（上） ： Legacy Boot
前些天群友@Seraph_JACK在整引导，于是我也跟着云了一下。结果发现，我对引导相关的了解着实拉跨。所以趁此机会，正好完整学习一下引导相关的知识。本篇文章大致会涉及MBR、GPT、UEFI等内容，以使用Grub引导Linux为例，来分析启动的具体过程。 启动综述 对于PC来说，启动电脑的目的是为 […]
当我们谈论Monad的时候（一）
Monad不就是个自函子范畴上的幺半群，这有什么难理解的。 Phillip Wadler 当我们谈论Monad的时候，我们在谈论什么 坊间一直流传着一句话：“一百个学FP的人的心中就有一百个对Monad的理解”。而我相信，他们中的大部分人在看明白后又会写出一篇崭新的Monad文。我也一直很想写一写自 […]
Comments