一般論として、動的型付け言語で書いたプログラムはメモリ上に変数の型の情報を持っているが、静的型付け言語では持っておらず、プログラム実行時は型の情報を参照していない(数値も文字も区別していない)という理解は合っていますか?