構文 NewReference := type_to_cast_to[Reference] を使用して、クラスをそのサブクラスのいずれかに変換できます (型変換と呼ばれる)。ここで type_to_cast_to は変換後の型です。 これは失敗する可能性がある式です。たとえば、クラスがサブクラスとは異なる型の場合、オブジェクトをその型に変換できないと型変換が失敗するためです。
次の例では、型 creative_device_base を持つ TaggedDevice を customizable_light_device 型に変換し、特定の関数を使用できるようにする方法について示しています。 TaggedDevice がカスタマイズ可能なライトの仕掛けではない場合、TurnOn() を呼び出しません。
Verse
if (LightDevice := customizable_light_device[TaggedDevice]):
LightDevice.TurnOn()