ちみのいうところの、「プログラミング言語でいう型」とはなんぞや?