value as Type 문법을 사용해 값 value를 Type 타입으로 단언할 수 있다. 이 표현은 다음과 같은 의미를 갖는다.value가 어떤 타입인지는 내가 가장 잘 알아. 책임은 프로그래머인 내가 질테니, 네가 갖고 있는 정보는 다 무시하고value를Type타입의 값이라 생각하고 진행해.
Animal 타입의 값을 Fish로 단언한다. 원래대로라면 Dog와 Insect 타입에는 swim 메소드가 없다는 에러가 났겠지만, 타입 단언으로 인해 컴파일러는 animal을 Fish 타입으로 해석하고, 타입 에러 없이 컴파일된다.Dog 혹은 Insect 타입 값을 받으면 터질 것이다.any 타입에 대해 다루었다. 값을 any 타입으로 단언함으로써 특정 값에 대한 타입 검사를 사실상 완전히 무효화할 수 있다.Dog 타입을 Insect로 취급할 수 없다는 것을 컴파일러가 알기 때문이다.any로 한 번 타입 단언을 한 뒤, 그 값을 다시 Insect로 단언함으로서 피해갈 수 있다. 일단 any 타입으로 취급된 그 값은 모든 타입에 할당 가능하기 때문이다.any를 거쳐 단언하는 일은 피하는게 좋다.