在Clean语言中进行纯函数式开发

我在Clean语言中开发高性能的函数式软件，并且已经做了足够长的时间，以理解其优势真正的体现。我的专业是唯一性类型：我建模状态，以便编译器可以证明一个值被使用恰好一次。这使得Clean语言能够就地变更数组、记录和文件，同时源代码保持纯函数式和引用透明。这就是我如何从纯粹的无副作用代码中获得C级性能的方式。典型任务：将数值或符号内核移植到Clean，消除现有模块中的微妙引用别名错误，通过*World设计I/O层，以便效果保持显式和有序，并调整本地编译的二进制文件到热循环真正向量化的状态。我诚实地进行性能分析，在惰性代价高昂的地方注释严格性，并重新设计唯一数据结构以减少分配，而不仅仅是让类型检查器保持安静。研究工作也欢迎：在Clean中，我尝试过图形简化、解析器组合子和可重复的基准测试。您将获得可读的模块、测试套件、与您的基线版本的测量，以及一份简短的文档，解释唯一性属性，以便您的团队可以在没有我的情况下开发代码。如果您不确定Clean是否适合您的任务 — 请发送描述，我会在您花费预算之前诚实地告诉您。