Li-Fan Chen
says to
YSITD
所以 Java 的類型系統某方面來說其實也算強