これ、掛け算順序問題でも起きてて、オレンジ的には小学校での掛け算教育に順序を用いる理由の部分は型システムを導入すれば解消する(代用出来る)ので、導入して掛け算順序を排除すべきだって考えてるけど、
掛け算順序問題を指摘してる数学界隈の方々の多くは型システムの導入も否定してる＞＜
数学は常に純粋じゃなきゃダメらしい＞＜
オレンジが数学界隈をさらに見下すきっかけになった＞＜