B̅
型情報（=属性値やメンバ函数など）というのは，〝普通のコーディング〟ではソースコードを書いているときにしか分からないけど，それを実行しているときにでも分かる（=変数で参照しているから属性値やメンバ函数自体の名前が分かったり，あるいはもっと単純に属性値やメンバ函数の一覧が分かったりする）ようにコンパイル済みの実行コードに「映し出す」っていう感じですかね……？
BT: https://pleroma.amefur.asia/objects/5ac2dd6b-e4a2-42ff-b72f-f37aff0a40d0
senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.