Make the type-level operations more “strictly-typed”
姜哲源自己承认，机器人进家庭还有核心障碍——数据。仿真数据虽然能把渲染做得和真实世界很像，但物理引擎不够准，碰撞、软体、流体的建模和真实世界有偏差。他更倾向于用真机数据，只要数据问题解决了，“大脑”问题自然能解决。
，这一点在搜狗输入法下载中也有详细论述
Using a mix of [] and () would introduce consistency issues and
第六十四条 船舶擅自进入、停靠国家禁止、限制进入的水域或者岛屿的，对船舶负责人及有关责任人员处一千元以上二千元以下罚款；情节严重的，处五日以下拘留，可以并处二千元以下罚款。