函数式编程

收录了函数式编程话题下的 114 篇文章
  • 文章
  • 迷你书
Haskell 使用率和用户满意度双双增长

FP Complete 首席执行官 Aaron Contorer 写道,“2018 年 Haskell 用户调查显示用户对 Haskell 的安全性、质量、可靠性、可维护性和高级功能均表示出了非常高的满意度。” InfoQ 与其谈论了 Haskell 当前的情况和未来的前景。

作者: Sergio De Simone 译者: 张兰月

2018 年 6 月 12 日
F# 2017 回顾

据微软项目经理 Phillip Carter 介绍,2017 年,F# 达到了 4.1 版本,用户社区也得到了发展,基本上与.NET Core 2.0 的发布保持了一致。同时,F# 的工具变得更加强大,大会参与人数增加。

作者: Sergio De Simone 译者: 谢丽

理解 Monad,一份 monad 的解惑指南

随着函数式编程的再次兴起,“monad” 这种函数式结构再次让初学者感到恐惧。在本文中,Introduction to Functional Programming 的课程导师 Dr. Barry Burd 会对这个让人难以掌握的概念进行清楚的讲解。

作者: Barry Burd 译者: 易文英

Racket 6.11 提供了稳定的细化类型和依赖函数特性

Typed Racket 是 Racket 语言的一种静态类型方言。Racket 6.11 为 Typed Racket 提供了细化类型(Refinement Type)和依赖函数(Dependent Function)特性。

作者: Sergio De Simone 译者: 盖磊

2017 年 11 月 16 日
函数式编程语言时代已经来临

英国著名计算机科学家、微软首席研究员及 Haskell 主要贡献者 Simon Peyton Jones 在一次访谈中说,函数式编程语言的时代已经来临。

作者: 薛命灯

文章系列:响应式 JavaScript

在不断发展的 JavaScript 编程领域,响应式编程技术正变得愈加流行。本文章系列希望能够介绍这一领域的发展现状,分享在这个主题下的多项技术变种。

作者: David Iffland 译者: 赵亚伟

依赖类型语言 Idris 发布 1.0 版本

英国圣安德鲁大学讲师、Idris 创建者 Edwin Brady 写道,在达到 alpha 版本几个月之后,Idris 1.0 发布。

作者: Sergio De Simone 译者: 谢丽

2017 年 4 月 13 日
“理解数据科学”系列文章

在这一系列文章中,我们将探讨如何利用数据科学,即从已经采用并成功实施数据科学的人那里,了解数据科学的适用场景,以及如何让它成为你的资产。

作者: Rays 译者: 薛命灯

Idris 趋近发布 1.0 版

基于依赖类型的 Idris 语言即将完成 0.99 版本,其 1.0 版有望于 2017 年 2 月左右发布。Idris 是一种纯函数式编程语言,目标在于注重语言通用性及满足系统编程所需效率的同时,让更多的编程人员使用基于类型的程序验证技术。

作者: Sergio De Simone 译者: Rays

2016 年 12 月 29 日
Javaslang 3.0 之路

Javaslang 是一个开源的函数式库,为 Java 8 及以上提供了持久化的数据类型和函数式的控制结构,最近,它发布了主版本 3.0 的路线图,承诺要对这个库进行比较明显的变更,移除不必要和废弃的特性。

作者: Michael Redlich 译者: 张卫滨

Elm 提供的语言级响应性

JavaScript 编程领域内,响应性编程正在变得愈加流行,但目前这种技术总是以“事后想法”或库的形式实现。如果能默认使用这种技术,使其成为语言固有的一种特性又会如何?Richard Feldman 介绍了以此为目标的 Elm 语言。Elm 不仅仅是为了让 JavaScript 变得更好,而是为了重塑整个开发者体验,使其获得内在的改进。

作者: Richard Feldman 译者: 大愚若智

Racket 6.7 最新版本:提供对 Android App 的支持及改进的 REPL 等等

PLT Design 发布了新版本的 Racket,类 Scheme 通用多模式编程语言 Racket 6.7 可以支持在 Android 上构建图形类应用程序,它同时改进了 REPL、包管理器,还支持扩展的 Typed Racked。

作者: Sergio De Simone 译者: 刘嘉洋