それは逆に「見込みがある！＞＜」(？)と言って型システムの意義を教えてあげるチャンス？＞＜(？＞＜；)