这太棒了 - Brandon 刚刚实现了这一切！！ 我真的希望看到更多干净的抽象实现及其形式验证对应物 - 这会带来更好的安全性，甚至只是清晰度 如果你对此感兴趣或正在研究，请联系我 :)