さらに論理ファシズム

自己転載。

論文やスライドを見ていて思ったのですが、「型」と「値」の関係を混同している人が少なくないようです。「型」はあくまで「ある種の値の集まりを表すもの」なので、

「int型を暗号化」

とか

「int型へのポインタ」

とかいう表現は（本当に型自体を暗号化したり、型そのものへのポインタをとったりするのでなければ）ありえないので注意してください。

たとえば上の二つであれば、通常は

「整数を暗号化」
「整数へのポインタ」

で十分です。