Koka中的开发：代数效应和处理器

我是一名函数式编程工程师，每天在Koka中工作——这是一种围绕代数效应和基于行的效应类型构建的研究语言。如果你需要一个原型、库或工具，靠近编译器，所有副作用都在类型签名中跟踪，而不是隐藏在运行时，我会提供帮助。我的典型工作如下：我用一小组效应操作描述你的领域，编写处理器使这些操作具有具体意义，并让Koka的类型检查器证明没有未处理的效应逃逸。因此，相同的逻辑可以在真实数据库、存根或确定性重放测试中运行——只需交换处理器。我使用这种技术构建了解析器、有限自动机、异步管道和小领域语言的解释器。在编译器方面，我自信地阅读Koka如何以证据传递风格展开效应，推理类型编译如何降低处理器，并诊断为什么效应行没有按照你预期的方式统一。因此，你将获得干净的注释Koka源代码、一份简短的项目说明，说明所选效应签名的理由，以及一个检查每个处理器的测试套件。复杂的地方我会单独描述，以便你的团队在我之后能够维护代码。如果你将效应处理器视为单子变换器或回调意大利面条的替代品——请把任务发给我，我会在开始之前提出一个具体的效应设计。