ライブラリとドキュメント作って交換する授業みたいなの「なんで型システムというものがあるのか？＞＜」を理解する助けにもなりそう＞＜