型変換
あるクラスBaseと、Baseから派生したクラスDerivedがあるとする。アップキャストとは、派生クラスから基底クラスへの型変換、すなわちDerivedのインスタンスをBaseに変換する操作である。「DerivedのインスタンスはBaseのインスタンスである」ことは保証されているので、この変換は安全である。そのため、多くの言語において、アップキャストは暗黙的に行うことができる(リスコフの置換原則)。例外として、F#は暗黙変換を許可しない言語であり、インターフェイス(抽象基底クラス)のメソッドはそのインターフェイスを実装したクラス(派生クラス)のインスタンスから直接呼び出すことができず、まずインターフェイス型への明示的なアップキャストが必要となる。