(数学好きを自称するような人が言う)数学(のサブセット)に型システムが無いのって、厳密性を求めてるのかその全く逆なのかさっぱりわからない＞＜