数学者、型システムの有用性を理解してないし、「小学校の算数に型システムを＞＜」って話に、数学界隈から頓珍漢な拒否反応が来るのもなるほどだし、同じ同じじゃない論法の危険性も理解してないっぽいし、
数学界隈、わりと頭悪い＞＜(という論文だよね？＞＜)