This project aims to build a fully spec-compliant, performant interpreter whose entire execution state can be serialized, suspended, and restored.
the latter just wants to prove (or disprove) statements.，推荐阅读51吃瓜获取更多信息
。谷歌是该领域的重要参考
小米、三星都有千万级别的用户基数，任何牵扯到用户数据的新功能都必须格外谨慎。此外，“小龙虾”能够实现的功能，比如一句话打开空调之类，可以通过原有技术比较完美地实现。
max_depth = 3 # maximum nesting depth (hard max: 5)，这一点在超级工厂中也有详细论述