Li-Fan Chen
says to
YSITD
類型系統的強度指的是他的表示力