标签： haskell agda
没有其他游戏比ADOM给我留下更深刻的印象，因为它几乎可以无限制地与世界互动。仅举几例：如果您有防水毯，您的物品不会在雨中生锈，您可以砍伐树木来建造桥梁，将武器浸入药水，打开锁门等。
由于交互的复杂性，每个新功能可能需要重构，重新编译，然后导致破坏的测试，错误等。这似乎是表达式问题的一个有趣的案例。
问题：
表达式问题的解决方案可以在Agda或Haskell中表示为可重用的库还是设计模式？