type choice

고급 타입은 새 의미, 짧은 이름, 끝나지 않는 흐름, 동적 크기를 구분한다

newtype, type alias, never type, DST는 비슷한 문법 장식이 아니라 서로 다른 설계 신호다.

newtype새 의미와 타입 구분

struct Millimeters(u32)

type alias긴 이름 단축

type Result<T> = ...

never반환하지 않음

!

DST포인터 뒤 동적 크기

str/[T]/dyn Trait

구분의미판단
도메인 구분 필요newtype타입 안전
반복 이름이 김type alias가독성
panic/loop/exit!흐름이 돌아오지 않음
크기 미정 값?Sized + pointer포인터 메타데이터

핵심 선택 기준은 “타입을 새로 만들 것인가, 이름만 줄일 것인가, 크기/흐름이 특수한가”이다.