用來給sparse做靜態分析用的，下面這篇說得很清楚了，就不多說了

http://rd-life.blogspot.tw/2009/12/sparse-type-checking.html