关于服务
翻译我是一名函数式编程专家，每天使用 Pure 语言工作，提供交钥匙的科学和数学软件开发。Pure 语言是基于术语重写的：程序被定义为一组方程，计算通过将术语重写为标准形式进行。这种方法自然映射到符号数学、代数变换和数值算法的快速原型制作。由于 Pure-lang 通过 LLVM JIT 后端编译为机器代码，您编写的优雅基于方程的风格不会影响执行速度。我所做的：符号数学引擎（简化、微分、代数重写）、信号处理管道和 DSP 滤波器、数值求解器和干净的原型，让研究团队在转向更重的技术栈之前测试想法。我编写符合习惯、结构良好的代码，使用术语的模式匹配，真正合理的宏，以及在原始吞吐量重要时与 C 库的薄 FFI 桥接。典型任务 — 将数学密集的 MATLAB 或 Python 笔记本移植为紧凑的 Pure-lang 程序，包装现有的 C 或 Fortran 过程以直接从方程调用，在重写引擎之上构建小型领域特定语言。每个结果都附带测试套件、代码文档和简短的演练，以便您的开发人员可以对其进行演进。我在 Pure 语言及函数式和术语重写语言的世界中拥有多年的经验；正确性对我来说与性能同样重要。描述任务、输入示例和预期输出 — 我将返回一个工作、性能测量的模块，并解释重写规则如何映射到您的数学。
