Curry语言中的声明性求解器

我是一名功能逻辑程序员，专业从事Curry工作，因此我提供设计和实现声明性解决方案的服务，在普通的命令式代码变得混乱的地方。Curry将Haskell精神中的纯函数与逻辑编程结合在一起：我将任务描述为一组关系，缩小和非确定性计算本身遍历搜索空间。这是我的日常工具。多年来，我编写了约束求解器、谜题和调度引擎、语法分析器以及小型领域语言，总是更喜欢可读的方程而不是手动循环优化。典型的工作流程是：我们达成一致的规范，我用代数类型和函数模式建模领域，在需要搜索的地方添加自由变量和非确定性选择，并封装结果，以便调用代码获得确定性、可测试的答案。主要系统是PAKCS和KiCS2；我知道如何发现搜索爆炸的地方，并提前添加约束以减少它。交付物包括带注释的源代码、关于声明性模型的简短说明、测试套件，以及一次设计回顾的邀请，以便您的团队可以维护代码。我还帮助学术项目：论文的参考实现、教学示例、可重复的评估工件。如果您有组合或基于规则的任务，并且需要一个清晰的解决方案，而不是一个黑箱，Curry是理想的，我很高兴能与您一起构建它。