https://blog.tarswork.com/zh/post/programming-language-type-system
「靜態型別 vs. 動態型別」與「強型別 vs. 弱型別」