小学校の算数に型システムつければ、たぶん掛け算教えるのも楽だし掛け算順序とかアホな発想不要になるし、桁とか位を教える時にも使えるし、後々、集合論の理解とかの土台にもなりそう＞＜

ついでに動的型付けな言語嫌って静的型付けな言語を好む人増えそう＞＜(洗脳＞＜；)