函数式编程

收录了函数式编程频道下的 117 篇内容
  • 文章
  • 迷你书
Clojure和Haskell——深度学习中的函数式语言之美
Clojure 和 Haskell——深度学习中的函数式语言之美

在深度学习系统的生产环境中,性能和安全性这两大问题促使公司倾向选择 Clojure 和 Haskell 等函数式编程语言。

面向对象编程被批是“灾难”,为什么这么多开发者讨厌它?| 话题
面向对象编程被批是“灾难”,为什么这么多开发者讨厌它?| 话题

面向对象编程(OOP)已经存在了很长时间。有人喜欢它,有人讨厌它,但目前面向对象编程目前面临的一个尴尬是:讨厌它的人似乎比喜欢它的人多。这到底是为什么呢?

通过 Lisp 语言理解编程算法:数据结构篇
通过 Lisp 语言理解编程算法:数据结构篇

本文将从数据结构和元组或结构概念开始,它们是最原始、最基本的概念。

Haskell 使用率和用户满意度双双增长

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

F# 2017 回顾

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

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

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

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

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

函数式编程语言时代已经来临

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

文章系列:响应式 JavaScript

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

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

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

“理解数据科学”系列文章

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

Idris 趋近发布 1.0 版

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