堆栈和组合：Joy中的程序

我在Joy中开发程序——一种纯函数式的连接语言，整个程序由函数组合构成，函数之间传递单个堆栈。没有命名变量，也没有lambda的麻烦：我将小组合器堆叠成大的组合器，整个程序读起来就像是诚实的数据流。如果你需要一个堆栈过程、一组可重用的引用，或者整洁的无点重构复杂逻辑——我会做到。

我的工作有几个方向。首先，从头开始开发：我设计词汇，提取常见模式到像map和fold这样的组合器，以及Joy著名的递归方案，保持每个定义简短且可测试。其次，重构：我将一个成熟的Joy脚本重写为有纪律的无点风格，使得意义存在于组合中，而不是副作用。第三，“程序作为数据”的理念：因为引用只是列表，我编写元程序来构建、解析和重写其他程序，并应用术语重写来证明小等价性和简化表达式。

我还教授。我进行一对一的辅导，并准备书面材料，带领初学者从空堆栈到自适用递归，问题从简单到真正困难。研究经验让我能够讨论语言的代数、它与组合逻辑的联系，以及堆栈模型与lambda演算的不同。

你将获得：带注释的源代码、每个词的测试套件、关于组合策略的简短项目说明，以及审查和讨论的邀请。在我身后是多年与连接式和函数式语言的工作经验，以及对保持代码简洁、可证明和易读的热爱。