Send to your Kindle RIGHT:[[:t/型]] [[:t/検索]] ページ/要素は型情報でもある。 > 11kg …は文字列であり、数値であり、重さ。 文字列が最上位（スーパークラス）、重さが最下位（サブクラス）。 検索ではできるだけ下位の型として扱う。それができなければ上位…少なくとも文字列としては評価する。 型を揃えなければならないデータ操作では「指示された操作ができる型」だけを対象にする。不可能な操作を指示されたときは事後にでも（できれば事前に）通知してその操作ログに記録。 RIGHT:[[:t/型]] [[:t/検索]] ページ/要素は型情報でもある。 > 11kg …は文字列であり、数値であり、重さ。 文字列が最上位（スーパークラス）、重さが最下位（サブクラス）。 検索ではできるだけ下位の型として扱う。それができなければ上位…少なくとも文字列としては評価する。 型を揃えなければならないデータ操作では「指示された操作ができる型」だけを対象にする。不可能な操作を指示されたときは事後にでも（できれば事前に）通知してその操作ログに記録。
