プログラムが3行目を実行しようとしたとき、処理系は整数と文字列という型情報を検査し、もし演算+（加算）がその2つの型について定義されていなかったら、エラーを出す。
当这个程式尝试执行第3行时，语言对型别标记整数和字串进行检查，如果这两个型别的+（加法）运算尚未定义，就会发出一个错误。