在开发可扩展的状态机应用程序时，保存状态的最佳数据类型是