函数式编程-61棋牌

fp complete 首席执行官 aaron contorer 写道，“2018 年 haskell 用户调查显示用户对 haskell 的安全性、质量、可靠性、可维护性和高级功能均表示出了非常高的满意度。” infoq 与其谈论了 haskell 当前的情况和未来的前景。

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

随着函数式编程的再次兴起，“monad” 这种函数式结构再次让初学者感到恐惧。在本文中，introduction to functional programming 的课程导师 dr. barry burd 会对这个让人难以掌握的概念进行清楚的讲解。

typed racket 是 racket 语言的一种静态类型方言。racket 6.11 为 typed racket 提供了细化类型（refinement type）和依赖函数（dependent function）特性。

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

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

英国圣安德鲁大学讲师、idris 创建者 edwin brady 写道，在达到 alpha 版本几个月之后，idris 1.0 发布。

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

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

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

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

plt design 发布了新版本的 racket，类 scheme 通用多模式编程语言 racket 6.7 可以支持在 android 上构建图形类应用程序，它同时改进了 repl、包管理器，还支持扩展的 typed racked。

在.net fringe 2016 大会上，f#创建者 don syme 谈了他对 f#现状的看法以及 f#的二元性。f#是以一个为面向对象语言构建的运行时为基础构建的函数式语言。

bucklescript 1.0 几乎完全兼容 ocaml 特性，同时改进了外部函数接口（ffi）以避免编写不安全的 javascript 存根。近日，infoq 采访了 bucklescript 作者张宏波。

better 联合创始人 carl baatz 发表了一篇博文，总结了他们四年来在生产环境中使用 haskell 的情况。他写道，在构建服务器端软件时，haskell 可能“最像秘密武器了”

josé valim 最近宣布 elixir 1.3 中弃用了必要赋值，添加了一些新的类型和存取器，提升了其 mix 搭建工具和 exunit 单元测试框架。

scala 作为最有意思的编程语言之一，其中一等公民函数具有哪些特性呢？本文整理自 archsummit 微课堂：scala 布道师、挖财资深架构师王宏江老师的分享内容。

由 amit rahore 及 francis avila 撰写的《clojure in action》以本质性的、通透的、结构组织良好的方式对 clojure 1.6 进行了介绍，本书探索了该语言的核心部分，并为读者介绍了 clojure 的编程与习惯。infoq 与 francis avila 进行了一次访谈，以进一步了解本书出版的情况、clojure 的优点以及未来的发展。

《all about java 8 lambdas》定位为周末读物，它所涵盖的内容其实远超过 lambdas，它涵盖了接口中的默认和静态方法、方法引用、optional 值以及原始 / 对象流。如果你已经熟悉了 java 并且需要快速掌握 java 8 的话，可以选读本书，请先阅读 infoq 的书评。

ryan culpepper 在 racket 博客上宣布，属于 lisp/scheme 家族的多范式编程语言 racket 已经发布了 6.5 版本。这个新版本中添加了许多新功能，包括 typed/untyped 代码之间交互的改进，对哈希表和集合更快的迭代以及更多内容。

由 addison wesley 出版的新书《clojure recipes》旨在帮助开发者深入理解 clojure，在初步了解语言的特性及语法的基础上构建更复杂的项目，与外部库进行集成。本书列举了一系列“在周末时间即可完成的小项目”，其中包括 web 客户端与服务端应用，实现 dsl，使用 datomic、cascalog、hadoop 等等。

jinq 库为数据库查询提供了一个 dsl，可以用于 java 和 scala。这个项目的灵感来源于.net 的 linq，致力于提供易于编写的查询，同时支持类型安全。据这个工具的创建者 ming-yee iu 介绍，jinq 起步于 2006 年，当时的名称为 queryll，但是直到采用了 java 8 的 lambdas，才完全发挥出了它的潜力。

近日，bloomberg 开源了 bucklescript，这是一个面向 ocaml 的 javascript 后端。按照 bloomberg 的说法，bucklescript 旨在为任何 javascript 执行引擎带来 ocaml 类型安全及高性能的代码。

swift 相关的学习资料已经很多，我想从另外一个角度来介绍它的一些特性，我把这个角度叫做「烧脑体操」。什么意思呢？就是我们专门挑一些比较费脑子的语言细节来学习。通过「烧脑」地思考，来达到对 swift 语言的更加深入的理解。

swift 相关的学习资料已经很多，我想从另外一个角度来介绍它的一些特性，我把这个角度叫做「烧脑体操」。什么意思呢？就是我们专门挑一些比较费脑子的语言细节来学习。通过「烧脑」地思考，来达到对 swift 语言的更加深入的理解。