模块系统更灵活

这不进行类型检查：

模块烦人之处数据A：设置位置a₁：aa⁄：a数据B:A->设置位置b₁：b a \8321»二：二模块M（a:a），其中id:B a->B aid b₁=b \8321id b⁄=b⁄

原因是参数一到M（M）在以下情况下是固定的身份证件已检查类型，因此无法将其实例化为a₁或a⁄。这可能很烦人，解决方法是内联模块M（M）（或分配参数一中的所有功能M（M）)，这使得代码模块化程度更低。因此，我建议类型检查器应该更灵活，这样它就可以处理这个例子。