标签: 函数式编程

Ante:一个具有代数效应和安全的共享mut的低级函数式语言

在计算机科学领域,函数式编程一直是一个备受推崇的编程范式。而在函数式编程语言中,Ante(https://an…


为什么函数式编程很重要【pdf】

在当今数字时代,计算机编程变得越来越重要。在编写代码时,我们常常会遇到各种各样的问题,而函数式编程作为一种革命…


热爱哈斯克尔和单子Monad

在编程世界中,有一门颇具神秘色彩的语言,那就是哈斌尔。这门语言以其纯函数式编程和强大的类型系统而闻名于世。但更…


Coq 中的函数式编程

骄傲地介绍Coq中的函数式编程,这个语言是由Inria研究所开发的,它不仅可以让我们写出各种任务的标准数学证明…


在 Lean 中的函数式编程——一本关于使用 Lean 4 写程序的书籍

编程语言中的函数式编程是今天软件开发的热门话题之一。这种编程风格强调数据不可变和函数式编程的简洁性。Lean …


Haskell 优化手册

Haskell 优化手册 – 让您的 Haskell 程序飞起来 Haskell 是一种强类型纯函…