Fish Wang
says to
YSITD
執行時類型系統不重要阿，但書寫時很重要