小学校の算数に(限定的な)型システムを導入すれば、プログラミングの時にも型システムがなんであるのか簡単に理解出来るメリットにもなるかも＞＜
型システムの意義を理解してないPythonユーザーよりも掛け算とか習ってる最中の小学生の方がある面でプログラミングに向いてる状況になるとも言えなくもないかも＞＜；
そして型ガチガチなAdaが流行る時代が！＞＜；(絶対来ない)