readonly 키워드가 붙을 경우, 그렇지 않는 타입보다, 슈퍼타입이 되는 이유는 무엇일까요? 제가 제대로 이해하고 있는걸까요?

다음의 이유로 인해 `readonly` 키워드가 붙은 타입이 슈퍼타입이 됩니다: 1. **불변성 속성**: `readonly`를 사용하는 타입은 불변성을 갖습니다. 이는 해당 데이터 형식이 한 번 선언된 후에는 수정되지 못한다는 것을 의미합니다. 반면, `readonly` 없이 선언된 변수/객체(가변 타입)는 변경이 가능합니다. 따라서, 불변 타입(readonly)은 가변 타입의 모든 특성을 포함하고 있지만, 그 반대는 아니므로 슈퍼타입이 됩니다. 2. **데이터 안전성**: 불변 데이터 유형(`readonly`)은 코드와 프로그램 경로 전체에서 안정적입니다. 이는 데이터가 예상하지 못한 수정으로부터 보호되기 때문입니다. 즉, `readonly`를 사용하면 안전하게 코드를 작성할 수 있으며, 이런 의미에서 슈퍼타입으로 볼 수 있습니다. 위의 정보들로 가시적인 예시를 남겨봅시다. ```typescript let a: readonly number[] = [1, 2, 3]; // "a" is a supertype because it's read-only let b: number[] = [4, 5, 6]; // "b" is a subtype because it's mutable b = a; // This is acceptable because mutable arrays (subtype) can be assigned to read-only arrays (supertype) a = b; // But this will raise a TypeScript error, as we're trying to assign a mutable array (which might change in the future) to a read-only array ``` 위의 코드에서 보시는 것처럼 `readonly` 배열은 변경 가능한 배열에 할당될 수 있지만, 그 반대는 허용되지 않습니다. 이 상황에서 `readonly number[]`는 `number[]` 타입의 슈퍼타입으로 간주됩니다. 이제 여러분은 왜 `readonly` 타입이 슈퍼타입이라고 간주되는지를 이해하셨을 것입니다.