Haskell

     

JEP 草案:不能为null的值类型

63

Java 目前有类class 和记录record 引用类型。他们仍在计划添加值记录value record和值类型value class。 增加了!,Long!是 Long 的非空版本。 增加了隐式构.

如何阅读类型系统符号?

377 20K
对于许多对类型系统和类型理论感兴趣的人来说,他们第一次接触文献时会看到以下内容:这种语法虽然看起来很复杂,但实际上相当简单。基本思想来自形式逻辑:整个表达式是一个蕴涵implication ,上半部分.

关于领域建模的最佳书籍

856 1 3K

如果有人在我早期的职业生涯中告诉我,我将成为函数式编程的有力倡导者和函数式软件工程基础书籍的作者,我一定会觉得难以相信。函数式编程真的值得我为之奉献一生吗?然而,一旦我体验到函数式编程的纯粹之美,就再.

HVM:Rust编写的比Haskell GHC更好的运行时

894

Haskell程序员可能会发现 HVM 项目非常有趣:高阶虚拟机 (HVM)是一个纯函数式编译目标,它是惰性的、非垃圾收集的和大规模并行的。它也是 beta 最优的,这意味着在某些情况下,它可以比大多.

Rust, Go与Hasekll比较 - Reddit

1164 2

对这三者隐含的设计范式的非常简洁的总结: Haskell:适合计算,默认情况下容易抽象(专注于指定做什么而不是怎么做,需要很少的代码来表示它)。 Go : 适合做服务,默认情况下容易并发(专注于指定如.

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

2068 1 4K

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

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

2175 6

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

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

1332 3K

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

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

2249 6K

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

什么是函数架构?

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

纯函数式编程的缺点

7723 3K

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

Rust和Haskell比较

4515

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

Facebook使用Haskell与爬虫战斗

1 4068 6

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

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

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

Haskell视频和课程

3404 1 2K

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

Scala与Haskell的严谨优雅性比较

1 6477 1 3K

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

Haskell进入生产(Hasura.io)

3087 1

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

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

2519 1 8K

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

类型系统和逻辑

1 3597 3 3K

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

范畴category:组合的本质

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