どう書いていいかわかんなくなったけど、数学好きな人が動的型付けな言語や型推論を好んだりしてるのって、さっきの数学の話と関係あるのかも？＞＜
で、説明する時に定義まで全部話そうって発想で考えると静的型付けな型システムの方に近いしより厳密になるよね？＞＜ なんで自称数学好きな人々は厳密を追い求めてるっぽいことをいいながら動的型付け環境的と言うかそもそも型がないかのような事を言うんだろう？＞＜