2

没有其他游戏比ADOM 更让我印象深刻，因为它几乎可以用无穷无尽的方式与它的世界互动。仅举几例：如果您有防水毯子，您的物品就不会在雨中生锈，您可以砍树建桥、将武器浸入药水、踢锁门等。

由于交互如此复杂，每个新功能都可能需要重构、重新编译，然后导致测试中断、错误等。这似乎是表达式问题的一个有趣案例。

问题：

表达式问题的解决方案可以在 Agda 或 Haskell 中表达为可重用库或设计模式吗？

4

0 回答 0