型チェック
http://d.hatena.ne.jp/akiradeveloper/20091231/1262264357
「型チェック」ってそもそもなんですかというのがあるなあ。
- 特定の型であるかチェックすること
- 特定の型もしくはそこから派生した型であるかチェックすること
- 特定の振る舞いを持つ型であるかチェックすること
C++ template の文脈でいう型チェックは最後のになるので、甘すぎるということはない。
その気になれば別に上の二つを explicit に書くこともできる。
この人ダックタイピングって知ってるのかな。実行時の動的な多態性だけがダックタイピングじゃないぴょん。
