2018-10-21 オーバーロード オーバーロードとは,名前が同じである複数の関数等において,引数等の型や個数によって処理を分岐できる仕組みのことである。 Googleという関数に"オーバーロード"なる文字列を渡したつもりだったが,特に型を指定しなかったので,暗黙のうちに「ライトノベルの名称」という型であると解釈されて検索が実行されてしまった。こういうのをエンティティの型付け,entity typing,またその対象を型付きエンティティ,typed entityという。