#Haskell

范畴category:组合的本质

14-11-07 19 4050 4 banq

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

Facebook使用Haskell与爬虫战斗

15-08-05 1 2602 6 banq

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

杀死Haskell的人也可能杀死Rust · GitHub

20-09-12 968 5 banq

Haskell和Rust有着密切的联系。Rust的大部分样式在很多方面都与Haskell的样式相似。从某种意义上说,Rust是Haskell的转世,带有一点类似于C的语法,数量很少。   Has... 详细

类型系统和逻辑

15-01-04 1 1848 3 banq

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

五种即将消亡的编程语言:Erlang首当其冲 (Chris)

21-04-15 613 1 banq

正如一些口头语言逐渐淡出历史一样,编程语言也面临过时和灭绝的风险。尽管它们对开发技术和编码风格的深远影响肯定仍在引起共鸣,但像ALGOL和LISP这样的语言今天却失去了像以前那样享有那么多的知名度和... 详细

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

15-07-15 2 1373 1 banq

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

Scala与Haskell的严谨优雅性比较

15-03-30 1 4978 1 banq

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

Haskell进入生产(Hasura.io)

15-02-16 2030 1 banq

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

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

15-02-11 1412 1 banq

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

纯函数式编程的缺点

16-06-08 5305 banq

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

深度学习中的函数语言之美 - Clojure和Haskell

19-09-13 799 banq

深度学习是基于人工神经网络的机器学习方法的子集。这些都受到大脑等生物系统中的信息处理和分布式通信节点的启发。在深度学习中,每个级别都学习将输入数据转换为稍微更抽象和复合的表示。例如,在面部识别系统中... 详细

什么是函数架构?

18-11-20 803 banq

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

从Java和Haskell一些代码对比中认识函数式编程 - morgenthum.dev

19-09-20 442 banq

很多朋友和同事问我为什么谈论Haskell。在我学习Haskell之前,我总是使用Java,C和C ++等主流语言 - 并且仍然喜欢它们。那么一个命令式的开发人员怎么会变成Haskell粉丝?在本文... 详细

Rust和Haskell比较

16-05-20 2657 banq

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

Haskell视频和课程

15-05-02 2314 1 SpeedVan

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

共有 15