Effect-TS 与函数式编程：类型化的副作用、依赖注入与并发
系统讲解 Effect-TS 在 TypeScript 中的应用：Effect 类型的三参数模型、生成器语法、Context 与 Layer 依赖注入、错误通道、并发原语、资源管理与重试调度，并给出用 Effect 重构服务层的工程实践与常见陷阱。
tag
函数式编程
共 7 篇文章。
34. 编程范式与类型系统
梳理主流编程范式的思想内核与取舍：命令式与结构化编程、面向对象的封装继承多态、函数式的纯函数与不可变性、声明式与逻辑式编程的思维方式、静态类型与动态类型及类型推导、代数和类型与泛型，以及多范式语言如何融合各类范式并给出选型建议。
C++20 Ranges 与惰性求值视图
C++20 Ranges 库将函数式编程的管道操作引入标准库，通过惰性求值的 view 和 adapter 让数据处理代码更具表达力。本文深入 Ranges 的核心概念，对比传统 STL 算法、讲解 filter+transform 管道组合、自定义 view 的实现方法，以及 ranges::to 的容器构造技巧，帮助你写出声明式、高效且可组合的 C++ 数据流代码。
Nix 语言深度：函数、惰性求值与模块化抽象
Nix 是一门纯函数式、惰性求值的领域语言，理解其核心语义是从「会用」走向「精通」的分水岭。本文深入函数与柯里化、惰性求值、attrset 操作、let/inherit/rec/with 绑定、override 与 fix 定点组合，用大量可运行表达式讲透 Nix 语言的底层机制。
Java 17+ 核心语法深度指南
Java 17/21 现代核心语法全景：Record、密封类、模式匹配、函数式接口、Stream API 高阶与模块系统，从语法到实战。
Go 函数：把重复的事交给它
全面讲解Go语言函数的定义与调用、多返回值、可变参数、匿名函数与闭包、defer延迟执行机制、panic与recover错误恢复机制，以及函数式编程模式和中间件模式的工程实践
Lua 闭包与 Upvalue 详解
闭包是 Lua 函数式编程的基石。本文讲清闭包与 upvalue（上值）的概念、词法作用域、共享 upvalue 的行为，以及闭包在迭代器、回调和模块私有化中的实战用法。