【摘要】When executing a pipe, each command of the pipe is in a separate process from the Bash process. The variable modified by the function is lost. The exit code of the function is also lost, because the exit code of a pipe is the exit code of the last command of the pipe.阅读全文 ...继续阅读 (11)

【摘要】This tool is used to generate the object graph of a Git repository. The primary purpose is to help Git learners better understand the Git data model through visualization.阅读全文 ...继续阅读 (16)

【摘要】Product type guarantees that if you have a function of type Y -> X1 and a function of type Y -> X2, you must have a unique function of type Y -> X1 x X2 satisfying the property. Sum type guarantees that if you have a unique function of type X1 -> Y and a function of type X2 -> Y, you must have a function of type X1 ∐ X2 -> Y satisfying the property.阅读全文 ...继续阅读 (18)

【摘要】Introduces a general pattern named Lazy Iterator for converting recursive traversal to iterator. It can be used to simulate generator (the "yield" keyword) in languages like Python.阅读全文 ...继续阅读 (16)

【摘要】The whole point of Monad is composability. In the category in green, T -> Monad and U -> Monad阅读全文 ...继续阅读 (7)

【摘要】The point of Monad is composability. In the green category, T -> Monad and U -> Monad阅读全文 ...继续阅读 (15)

【摘要】A general function to transform the future of an initial state to the future of its final state.阅读全文 ...继续阅读 (11)

【摘要】A general function to transform the future of an initial state to the future of its final state.阅读全文 ...继续阅读 (10)

【摘要】Functions are born in a harmonious ecosystem. Whenever you write a function, you automatically enjoy compose, functors, monads, monad transformers...阅读全文 ...继续阅读 (19)

【摘要】Functions are born in a harmonious ecosystem. Whenever you write a function, you automatically enjoy compose, functors, monads, monad transformers...阅读全文 ...继续阅读 (11)

【摘要】The algorithm for supporting distributed MVCC based multi-row transactions on top of a distributed key-value database with single-row transaction supp...阅读全文 ...继续阅读 (11)

【摘要】The algorithm for supporting distributed MVCC based multi-row transactions on top of a distributed key-value database with single-row transaction support.阅读全文 ...继续阅读 (9)

【摘要】The code ideas of Paxos protocol: 1) Optimistic concurrency control (variant 2). Hold a "preemptible lock" first, try updating, restart on denial; 2) ...阅读全文 ...继续阅读 (37)

【摘要】The core ideas of Paxos protocol: 1) Optimistic concurrency control (variant 2). Hold a "preemptible lock" first, try updating, restart on denial; 2) Quorum as a logical unit of acceptor for choose operation. A value is chosen iff it's accepted by a quorum, which implies from the proposer's perspective the choose operation is atomic, it's all or nothing, it's either accepted by a quorum or it isn't.阅读全文 ...继续阅读 (17)

【摘要】Is self-play a bottleneck in theory for AlphaGo to improve? My perspective is not! The real problem with AlphaGo (and any other AI and human) is the s阅读全文 ...继续阅读 (25)

This is my answer to a Zhihu question.本文链接：Why doesn't Facebook Provide Public Cloud Service，转载请注明。 ...继续阅读 (35)

fmap :: (T -> R) -> Functor-> Functorlifts a function of typeT -> Rinto a function of typeFunctor-> Functor;flatMap :: (T -> Monad) -> Monad-> Monadlifts a function of typeT -> Monadinto a function of typeMonad-> Monad.本文链接：Functional Programming without Lambda - Part 2 Lifting, Functor, Monad，转载请注明。 ...继续阅读 (38)

【摘要】fmap :: (T -> R) -> Functor-> Functorlifts a function of type T -> R into a function of type Functor-> Functor; flatMap :: (T -> Monad) -> Monad-> Monadlifts a function of type T -> Monadinto a function of type Monad-> Monad.阅读全文 ...继续阅读 (16)

Functional programming doesn't necessarily depend on Lambda, it's more about the unique way of composing a bunch a small functions into a larger one.本文链接：Functional Programming without Lambda - Part 1 Functional Composition，转载请注明。 ...继续阅读 (25)

【摘要】Functional programming doesn't necessarily depend on Lambda, it's more about the unique way of composing a bunch a small functions into a larger one.阅读全文 ...继续阅读 (7)

本文介绍了自己总结的Java异常处理的原理和原则，包括：1.Exception和Error的区别；2.声明异常和未声明异常的区别；3.什么情况下应抛出未声明异常；4.如何捕获和处理其他方法抛出的异常；5.自定义异常应继承Exception还是RuntimeException。本文链接：异常处理原理和原则，转载请注明。 ...继续阅读 (26)

【摘要】本文介绍了自己总结的Java异常处理的原理和原则，包括：1.Exception和Error的区别；2.声明异常和未声明异常的区别；3.什么情况下应抛出未声明异常；4.如何捕获和处理其他方法抛出的异常；5.自定义异常应继承Exception还是RuntimeException。阅读全文 ...继续阅读 (16)

本文提出了一种观点：从应用的角度，我们可以把线性代数视为一门领域特定语言(DSL)。线性代数在初等数学基础上建立了向量模型，定义了一套语法和语义，符合程序语言的语言契约。向量模型具有坐标系无关性的优点，可以用来表达线性关系。它是整个线性代数的核心，是解决线性空间问题的最佳模型。本文链接：程序观点下的线性代数，转载请注明。 ...继续阅读 (73)

【摘要】本文提出了一种观点：从应用的角度，我们可以把线性代数视为一门领域特定语言(DSL)。线性代数在初等数学基础上建立了向量模型，定义了一套语法和语义，符合程序语言的语言契约。向量模型具有坐标系无关性的优点，可以用来表达线性关系。它是整个线性代数的核心，是解决线性空间问题的最佳模型。阅读全文 ...继续阅读 (17)

本文介绍了Linux系统I/O重定向的原理和实现方式，原理方法最重要的是理解文件描述符和文件描述符表的概念，以及标准I/O所对应的特殊FD；实现方面主要是了解dup2()系统调用的功能和用法。本文链接：I/O重定向的原理和实现，转载请注明。 ...继续阅读 (30)

【摘要】本文介绍了Linux系统I/O重定向的原理和实现方式，原理方法最重要的是理解文件描述符和文件描述符表的概念，以及标准I/O所对应的特殊FD；实现方面主要是了解dup2()系统调用的功能和用法。阅读全文 ...继续阅读 (11)

程序的复杂性包含了本质复杂性和非本质复杂性两个方面，前者即为逻辑，后者即为控制。代码优化的极限是由逻辑决定的，逻辑和控制本应是正交的两个维度，但多数程序中二者却耦合在一起降低了程序的可读性。组件复用和GoF设计模式都不是解决这一问题的有效途径，唯有元语言抽象能彻底地将逻辑和控制解耦，使得程序简洁、优雅、易理解、易维护。本文链接：程序的本质复杂性和元语言抽象，转载请注明。 ...继续阅读 (62)

【摘要】程序的复杂性包含了本质复杂性和非本质复杂性两个方面，前者即为逻辑，后者即为控制。代码优化的极限是由逻辑决定的，逻辑和控制本应是正交的两个维度，但多数程序中二者却耦合在一起降低了程序的可读性。组件复用和GoF设计模式都不是解决这一问题的有效途径，唯有元语言抽象能彻底地将逻辑和控制解耦，使得程序简洁、优雅、易理解、易维护。阅读全文 ...继续阅读 (14)

在经典编译理论中，编译过程被抽象为管道模型，词法分析的输出作为语法分析的输入。但是，许多语言中存在词法歧义问题，如C++中经典的模版“>>”问题，其根源在于词法分析所依赖的词法规则无法消除歧义，必须依赖于完整的语法。本文介绍了一种比Scannerless Parsing更好的词法消岐设计。本文链接：编译器词法消歧设计，转载请注明。 ...继续阅读 (52)

【摘要】在经典编译理论中，编译过程被抽象为管道模型，词法分析的输出作为语法分析的输入。但是，许多语言中存在词法歧义问题，如C++中经典的模版“>>”问题，其根源在于词法分析所依赖的词法规则无法消除歧义，必须依赖于完整的语法。本文介绍了一种比Scannerless Parsing更好的词法消岐设计。阅读全文 ...继续阅读 (18)