#Haskell

      更多分类

什么是函数架构?

18-11-20 121 banq

函数架构是指一个架构中主要部分是纯函数,且纯函数不能调用不纯的活动;但是不纯的活动能够调用纯函数。 那么什么是纯函数?就是引用透明,为了使函数具有引用透明性(也称为 纯函数 ),它必须具有两个属性:... 详细

纯函数式编程的缺点

16-06-08 2351 banq

本文总结了函数式编程的几大缺点,其中主要焦点是可变性状态Mutation是否应该是默认,union-find算法的Dr. Harrop说:目前我们还没有发现一个有效率的纯函数的union-find集合... 详细

Rust和Haskell比较

16-05-20 729 banq

Rust语言从纯正的函数语言Haskell借鉴了一些设计,两者主要区别是: Haskell 和 Rust都有: 类型/内存安全(Type/memory-safety) 没有空null出错(No nu... 详细

Facebook使用Haskell与爬虫战斗

15-08-05 1 1704 5 banq

Facebook打击垃圾邮件,恶意软件,和其他爬虫攻击行为的系统称为Sigma。它的工作是主动识别Facebook上的恶意行为,如垃圾邮件,网络钓鱼攻击,恶意软件的链接和不良内容,这些被Sigma检测... 详细

函数编程中functor和monad的形象解释

15-07-15 2 1005 1 banq

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

Haskell视频和课程

15-05-02 1366 1 SpeedVan

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

Scala与Haskell的严谨优雅性比较

15-03-30 1 3684 1 banq

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

Haskell进入生产(Hasura.io)

15-02-16 1339 1 banq

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

将数学转换成代码案例(Java Racket Haskell和Python)

15-02-11 788 1 banq

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

类型系统和逻辑

15-01-04 1 977 3 banq

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

范畴category:组合的本质

14-11-07 19 2237 4 banq

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

共有 11