>>985
ある型へとラップした側はその型だと確信しているからそこは全く問題がない
使われる側もある型だけ受け付けると確信しているからそこは全く問題がない
きちんと型付けをすると読みやすくなる
そして型付けシステムが型安全性を保証してくれる