型による安全性という概念を知らない、ないしわからない、ということはわかった。