Roc函数式编程语言的一项性能对标研究表明,现代纯函数式语言在接近传统编程语言效率方面取得了显著进展。一位开发者对Roc的DEFLATE压缩实现进行了优化,使其性能与C语言标准库libdeflate进行了直接对比。基于144个基准测试,roc-deflate在M1 MacBook Pro上的中位数性能仅比libdef…
一项编程启发式原则"Push Ifs Up and Fors Down"近日受到关注,该原则源自TigerBeetle的Tiger Style文档。这一原则主张将条件分支逻辑从被调用函数上移至调用者处理,同时将循环操作下移到函数内部以实现批处理。例如,通过类型系统用Option改为Walrus等方式表示前置条件,或将…
软件架构中的"函数式核心,命令式外壳"是一个由来已久的设计模式。Gary Bernhardt在14年前提出了这一概念。在此基础上,业界提出了一个更实用的改进方案:"确定性核心,非确定性外壳"。这一方法强调确定性的重要性——即给定相同的输入序列,系统总是返回相同的输出序列。与严格的纯函数式编程相比,确定性核心的适用范围…
开发者介绍了EYG编程语言的设计理念与核心特性。EYG是一门静态类型函数式编程语言,专为端用户编程而设计,目标用户是具有技术能力但不以开发为全职的人群(称为"制造者")。该语言旨在解决技术人士在使用无代码/低代码工具后因复杂性增长而遇到的困境,帮助他们自动化解决问题。