关于服务
翻译我在Frege中编写函数软件——本质上是编译为Java字节码并在任何JVM上运行的Haskell方言。如果您的团队生活在Java生态系统中，但希望获得纯函数编程的保证，我可以帮助桥接这两个世界。在过去的几年中，我交付了服务、库和命令行工具，其中惰性、不可变性和严格类型消除了在代码甚至到达生产之前的整个错误类别。通常我的工作看起来像这样。我在Frege中设计一个没有副作用的纯核心，并将所有输入输出推送到系统边界，以便业务逻辑保持可测试和可预测。我依赖类型系统精确建模您的领域：使用代数数据类型和类型类，而不是防御性空检查。由于Frege直接在JVM上运行，我编写小心的集成层，调用现有的Java库，将遗留类包装在安全的函数包装器中，并将Frege模块暴露回供Kotlin或Java调用而不产生摩擦。惰性让我能够表达流式管道和无限结构，同时节省内存。我也处理实际的事情：通过Gradle或Maven进行构建设置、打包、持续集成、QuickCheck风格的基于属性的测试以及您的Java工程师能够理解的文档。交付物包括带注释的源代码、可重现的构建、关于采用的设计模式的简短说明以及与您的团队的演练，以便您可以在之后维护代码。无论您需要重写的原型以确保正确性、重新审视的关键模块，还是在JVM上进行函数模式的指导——我交付的代码都是构造上正确的，并且开发起来令人愉快。
