Haskell

     
    19

如何阅读类型系统符号?

310 21K
对于许多对类型系统和类型理论感兴趣的人来说,他们第一次接触文献时会看到以下内容: .

关于领域建模的最佳书籍

558 1 4K

如果有人在我早期的职业生涯中告诉我,我将成为 .

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

782

Haskell程序员可能会发现 HVM 项目非常有趣:高阶虚拟机 (HVM)是一个纯函数式编译目标,它是惰性的、非垃圾收集的和大规模并行的。 它也是 .

Rust, Go与Hasekll比较 - Reddit

1039 2

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

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

1848 1 4K

正如一些口头语言逐渐淡出历史一样,编程语言也面临过时和灭绝的风险。尽管它们对开发技术和编码风格的深远影响肯定仍在引起共鸣,但像ALGOL和LISP这样的语言.

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

2032 6

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

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

1198 3K

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

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

2074 6K

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

什么是函数架构?

1753 14K
函数 架构 是指一个架构中主要.

纯函数式编程的缺点

7468 3K

本文总结了 函数式编程 的几大缺点.

Rust和Haskell比较

4344

Rust语言从纯正的函数语言Haskell借鉴了一些设计,两者主要区别是: Haskell 和 Rust都有: 类型.

Facebook使用Haskell与爬虫战斗

1 3874 6

Facebook打击垃圾邮件,恶意软件,和其他爬虫攻击行为的系统称为Sigma。它的工作是主动识别Facebook上的恶意行为,如垃圾邮件,网络钓鱼攻击,恶意软件的.

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

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

Haskell视频和课程

3271 1 3K

我很久没回来道场聊聊了,才发现独立这么一个板块。 投些资料吧,最近在知乎看到一个总结,非常不错。 http://www.zhihu.com/questi.

Scala与Haskell的严谨优雅性比较

1 6273 1 3K

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

Haskell进入生产(Hasura.io)

2938 1 2K

Hasura.io使用haskell作为核心编程语言建立 .

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

2371 1 8K

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

类型系统和逻辑

1 3435 3 3K

计算机科学领域中一个重要成就是:类型理论type theory对应于一个特别的逻辑系统。 .

范畴category:组合的本质

19 7111 4 5K
之前我在 .
    19