Haskell

15-07-15 2 2213 2

函数编程中Functor函子与Monad是比较难理解的概念，本文使用了形象的图片方式解释了这两个概念，容易理解与学习，分别使用Haskell和Swift两种语言为案例。1. 函子functor是一种实.

15-05-02 3429 1 2K

我很久没回来道场聊聊了，才发现独立这么一个板块。投些资料吧，最近在知乎看到一个总结，非常不错。http://www.zhihu.com/question/20193745原文都是带链接的，略读后，根据.

15-03-30 1 6516 1 3K

函数语言主要优点是秉承数学的严谨性与可推导性，该文比较了纯函数语言Haskell在代数方程上与Scala语言的不同性，突出了Haskell纯函数语言的特点。Haskell for all: Algeb.

15-02-16 3147 1

Hasura.io使用haskell作为核心编程语言建立微服务平台，并分享了一些实践经验，如默认同步异步使用GHC等。详见：From Zero to HIPster (Haskell In Produ.

15-02-11 2550 1 8K

这是一篇将离散数学结构中的集合set，序列sequence，函数function，disjoint unuin，关系relation和语法转变成使用Java，Python，Racket和Haskell.

15-01-04 1 3633 3 3K

计算机科学领域中一个重要成就是：类型理论type theory对应于一个特别的逻辑系统。Type systems and logic一文以Haskell语言为例详细介绍了其中细节：那么这种对应到底是怎.

14-11-07 19 7352 4 5K

之前我在分解和组合的抽象方法一文中谈了分解decomposition和组合composition具体特点，范畴理论大师Bartosz Milewski最近正好写了这篇Category: The Ess.