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()