强型

strong type