标签：游戏框架

一个基于类型系统的游戏框架，通过类型安全的设计使无效的代理行为在类型层面上不可表示，适用于构建规则明确的游戏和代理交互。