类型系统简介虽然这么实现.

1