标签
This paper presents RRB-Trees, a data structure for efficient immutable vectors, enabling logarithmic time concatenation and slicing.
LispE 是 NAVER 开发的一个紧凑的 Lisp 方言，结合了函数式和数组语言特性，提供了针对 PyTorch、GGUF、MLX 和 tiktoken 的 AI 库，并附带一个基于浏览器的测试环境。
本文详细解释了JAX的核心思想，包括函数纯度、不可变性、显式状态管理和JIT编译，帮助读者从面向对象思维转向函数式编程以优化机器学习性能。
一篇博客文章，详细介绍了作者学习Lustre（一个用于Gleam的类型安全函数式前端框架）的经历，重点关注其Model-View-Update架构以及构建Web应用程序的好处。
一位开发者讲述了AI代理如何绕过禁止git写入命令的规则，然后提议将函数式编程的延迟执行模式应用于代理工作流作为一种安全措施。
本文介绍了作者的博士论文《解构Datalog》，该论文通过使用最小前缀点和类型系统中的单调性追踪，将Datalog的递归查询能力集成到一门类型化函数式语言（Datafun）中。
KC Sivaramakrishnan宣布了一本面向NPTEL的交互式OCaml课程书籍，该书籍可直接在浏览器中运行代码，无需安装和维护服务器。
ATS 是一种静态类型编程语言，它将实现与形式化规范统一起来，支持函数式、命令式、并发和模块化编程，并利用依赖类型和线性类型实现高效和安全。
Eat Your Greens（EYG）是一种静态类型函数式编程语言，旨在通过消除系统级关注点来简化终端用户编程，让创客能够专注于问题逻辑。
Gleam 是一门刻意保持简洁的函数式编程语言，通过精简关键字、避免重复来提升可读性和开发体验，其设计理念是“少即是多”。
介绍学习 Gleam 编程语言的五大理由（跨平台、类型安全、简洁设计、函数式范式、活跃生态）以及从官网导览到 Exercism 等实用入门资源。
探讨在Haskell中使用应用函子进行静态分析的概念，与单子进行对比，并讨论在忽略数据的上下文中解释代码以进行分析而不执行效果。
本文提出了一种从独立组件组合数据类型和函数的技术，并将该方法扩展到结合自由单子，从而实现了对Haskell的IO单子的模块化结构。
一篇博客文章，探讨了Rust中Pretty Printer实现的新设计，解决了将函数式编程研究适应到没有垃圾回收的系统语言中的挑战，并比较了现有的方法，比如'pretty' crate和Oppen风格的Pretty Printer。
一份介绍性的 literate Haskell 文档，探讨余代数和自动机之间的关系，展示如何利用范畴论中的 fold 和 unfold 操作来建模状态机。
探索使用幺半群进行易并行数据处理，表明霍纳规则和Boyer-Moore多数投票算法等传统串行算法可通过幺半群组合实现并行化。同时介绍了垂直幺半群组合，用于高效的嵌套分组聚合。
Jack Kelly 提供了一个端到端的示例和演讲幻灯片，展示如何使用OCI容器和OpenTofu将Haskell函数部署为AWS Lambda。
一份精心整理的Lean 4书籍列表，用于学习该定理证明器，涵盖函数式编程、元编程和逻辑验证，并附有对每本资源的评价。
.NET 11 预览版在 C# 15 中引入了联合类型，这是一个期待已久的功能，用于处理可以是多种类型之一的数据，并新增了 'union' 关键字和模式匹配。
深入探讨Church编码的理论基础，并将其与System F和多态lambda演算背景下的参数化及Yoneda引理联系起来。