Python 类型提示的渐进式采用工程实践
面向遗留代码库，给出 Python 类型提示渐进引入的工程策略、工具参数与监控清单。
分类：programming-languages
共 7 篇文章
无布尔值编程语言设计：使用和类型与模式匹配实现控制流
面向编程语言设计，介绍无布尔值的控制流方案，利用和类型与模式匹配提升类型安全性和代码可靠性。
函数式语言中效果系统的集成：编译时纯函数强制与调试优化
在函数式语言中使用效果系统强制纯函数，提供比print调试更结构化的不纯操作追踪与工程参数。
Implementing Java 25 Preview: Pattern Matching Enhancements and Scoped Values in Multi-Threaded Services
Explore practical implementation of Java 25's preview features for improved pattern matching in switch and scoped values for efficient data sharing in concurrent services.
使用 Picat 的 Tabling 工程化约束求解器和规划器：高效解决 NP-hard 调度与资源分配
基于 Picat 的多范式编程，利用 tabling 机制构建可扩展的约束求解器与规划器，针对调度和资源分配的 NP-hard 问题，提供工程化参数与优化清单。
在 Flix 中实现基于处理器的代数效应
探讨 Flix 中处理器驱动的代数效应实现，用于可组合异步操作和错误处理，避免单子变换器以实现更简洁的效应组合。
Racket 中实现匿名递归函数：尾递归优化与卫生宏应用
探讨 Racket 中匿名递归函数的实现技巧，聚焦尾递归优化和卫生宏，确保简洁的功能定义。