Haskell 笔记：Category Theory and Functor

2018-11-18 Xie Jingyi
Haskell
Category Theory A category has three components: A collection of objects. A collection of morphisms, each of which map one object to another. A notion of composition of these morphisms, i.e. morphisms can be composed. If f: A -> B and g: B -> C are morphisms, f.g generates a new morphism A -> C. Note that a morphism 继续阅读 »

xp的分布式系统系列教程之: Erasure-Code: 工作原理, 数学解释, 实践和分析.

2017-02-01 张炎泼
theory distributed tutorial replication erasure
文字版: Erasure-Code: 工作原理, 数学解释, 实践和分析 more 继续阅读 »

xp的分布式系统系列教程之: Erasure-Code: 工作原理, 数学解释, 实践和分析.

2017-02-01 张炎泼
theory distributed tutorial replication erasure
mdtoc start 内容简介 分布式系统的可靠性问题: 冗余和多副本 EC的基本原理 栗子🌰1: 实现k+1的冗余策略, 大概需要小学3年级的数学知识 栗子🌰2: 实现k+m的冗余策略, 大概需要初中2年级的数学知识 增加1个校验块, 变成k+2 实现k+m 的冗余 EC编码矩阵的几何解释 k=2, 为2个数据块生成冗余校验块 k=3, 4, 5...时的数据块的冗余 通过高次曲线生成冗余数据 从曲线方程得到的系数矩阵 EC解码过程: 求解n元一次方程组 [Vandermonde] 矩阵保证方程组有解 新世界: 伽罗华域 [Galois-Field] GF(7) EC在计算机里的实现: 基于 伽罗华域 [Galois-Fiel 继续阅读 »

可靠分布式系统基础 Paxos 的直观解释

2015-11-11 张炎泼
paxos network theory distributed consensus
Paxos 已经逐渐被承认是分布式系统中不可缺少的核心算法, 越来越多的分布式系统都是以paxos或其变种来达到强一致性的. 本文是一篇paxos入门教程, 从基本的分布式中的问题: 主从复制，quorum-rw等算法出发, 通过逐步解决和完善这几个问题, 最后推导出paxos的算法. 继续阅读 »

ECMA-262-3 详解 第七章 面向对象(一)：概论

2014-06-21 W.Y.
ECMA-262-3 ECMAScript OOP Prototype
此文译自 Dmitry A. Soshnikov 的 ECMA-262-3 in detail. Chapter 7.1. OOP: The general theory. 概述 本文主要讨论 ECMAScript 中面向对象编程。之前已经有大量的文章讨论过该话题了，但本文与那些文章不同，本文主要从理论方面来解析其内部原理。重点讨论对象创建算法，对象之间的关系（包含最基本的关系 -- 继承）是如何形成的，并给出了明确的定义（我希望这可以消除一些文章中对于 JavaScript 中 OOP 的疑虑和混乱）。 more 概论、范式和思想 在开始讨论之前，有必要掌握一些 OOP 的基本特征，并弄清楚一些基本概念。 ECMAScr 继续阅读 »