Oz / Mozart中的开发者——多范式和约束编程

我使用Oz语言——Mozart系统的多范式语言——将范式视为工具，而非教条。在单个程序中，我可以自由地在功能计算、关系逻辑、约束传播和数据流并发之间切换，选择最能清晰和正确地完成特定任务的模型。这是一种不同于习惯性命令式编码的开发方式，正是在普通方法挣扎的地方，它的优势显现出来：在搜索问题、调度、配置、符号推理和语言思想的原型中。

我的大部分工作涉及约束编程和搜索。我用有限域变量建模问题，通过传播器表达规则，并用我自己的分布和分支策略引导求解器，使庞大的组合空间可控。在Oz中，并发是通过逻辑变量和数据流同步内置于语言中的：这让我能够构建干净的“生产者-消费者”管道、代理和轻量线程，而不必经历锁的常见痛苦。我自信地推理关于确定性、封装搜索，以及懒惰、端口和单元之间微妙的相互作用，这使得Oz具有表现力。

除了解决问题，我还使用Oz进行教学和研究支持。我帮助学生和研究人员理解《计算机编程的概念、技术和模型》中的思想，将复杂的状态、并发和声明式计算的概念转化为可运行的示例，并附有详细的评论。我可以将论文中的算法移植到Oz中，通过性能比较替代的分布策略，或将Mozart组件包装以与外部世界对话。如果你有一个“闻起来像”搜索、约束或优雅并发的任务，我会诚实地告诉你Oz是否合适。

—— 使用自定义传播器进行有限域和约束建模
—— 封装和并行搜索，分布和分支策略
—— 数据流并发、逻辑变量、流、端口和代理
—— 在一个代码库中进行功能性和关系编程
—— 为CTM精神中的多范式思想提供学习支持
—— 在Mozart中原型化语言特性和符号计算