掛け算順序問題見てても、「(小学校の)算数に型システム導入すれば済むじゃん?><」って思うけど、そういう発想すら拒否して「数学は純粋で中立で」とか言ってる数学者、マジで馬鹿だと思うよ><未定義のどこがエレガントなんだよ><
思考の /dev/null