Visualizing the Git data model - Todd Wei

his tool is used to generate the object graph of a Git repository. The primary purpose is to help Gi
博客园 2018年05月21日

Paxos in One Picture - Todd Wei

f Accepted(N, quorum) happens, Prepared(N, quorum) always happens (right) before it. If Prepared(N,
博客园 2017年12月25日

Product and Sum in Category Theory - Todd Wei

roduct type guarantees that if you have a function of type Y -> X1 and a function of type Y ->
博客园 2017年12月04日

Converting Recursive Traversal to Iterator - Todd Wei

ntroduces a general pattern named Lazy Iterator for converting recursive traversal to iterator. It c
博客园 2017年11月13日

Monad Explained in One Picture - Todd Wei

he point of Monad is composability. In the green category, T -> Monad and U -> Monad
博客园 2017年05月05日

Stateful Future Transformation - Todd Wei

general function to transform the future of an initial state to the future of its final state.
博客园 2017年03月13日

Function Composition vs Object Composition - Todd Wei

unctions are born in a harmonious ecosystem. Whenever you write a function, you automatically enjoy
博客园 2017年02月06日

Distributed MVCC Based Cross-row Transaction - Todd Wei

he algorithm for supporting distributed MVCC based multi-row transactions on top of a distributed ke
博客园 2016年11月28日

A Beginner's Guide to Paxos - Todd Wei

he core ideas of Paxos protocol: 1) Optimistic concurrency control (variant 2). Hold a "preempt
博客园 2016年07月07日

Functional Programming without Lambda - Part 2 Lifting, Functor, Monad - Todd Wei

map :: (T -> R) -> Functor<T> -> Functor<R> lifts a function of type T -> R
博客园 2015年05月30日

Functional Programming without Lambda - Part 1 Functional Composition - Todd Wei

unctional programming doesn't necessarily depend on Lambda, it's more about the unique way of compos
博客园 2015年05月25日

异常处理原则 - Todd Wei

博客园 2014年11月02日