[#readonly, #ThisType] 책, 타입스크립트 교과서 문의사항 있습니다

안녕하세요,

타입스크립트 교과서를 읽으면 2가지 질문사항이 있습니다.

1. " readonly 수식어가 붙은 배열이 더 넓은 타입이다 "
2. 3.4 thisType

강의와 더불어 책으로도 출퇴근하며 읽는데, 좋은 책 써주셔서 감사드립니다!

1. " readonly 수식어가 붙은 배열이 더 넓은 타입이다 "

' 2.13 객체 간에 대입할 수 있는 지 확인하는 법을 배우자' 챕터 중

" readonly 수식어가 붙은 배열이 더 넓은 타입이다 "

let a: readonly string[] = ['hi','readonly']
let b: string[] = ['hi','normal']

"어떤 원리로 인해 수식어 'readonly'가 타입의 범위를 더 넓게 만들 수 있는걸까요?"

제 생각에서는, readonly일 경우는 읽기전용이라 기능이 '좁고' readonly가 없는 경우는 기능이 많아 '넓고' 라는 생각에서 벗어나질 못하고 있어서요!

이펙티브 타입스크립트에서 이와 관련해서 readonly 수식어가 붙은 것을 더 넒은 타입으로 설명하고 있습니다.(readonly 수식어가 넓은타입으로 만들어준다는 내용이 있는것은 아니지만 비슷한 내용이라 추가해봤습니다.)

number[ ]는 readonly number[ ]보다 기능이 많기 때문에, readonly number[ ]의 서브타입이다 (이펙티브 타입스크립트, p95)

기능이 많고 적음에 따라서, 타입간 포함관계/호환성(타입을 집합으로 이해하고 있습니다)기준은 아니라고 생각하는데요, number[ ]가 readonly number[ ]보다 기능을 더 많이? 갖고 있는걸, readonly number[ ]의 기능(내용)을 extends했기 때문에, number[ ]가 서브타입, readonly number[ ]가 슈퍼타입으로 설명하려는거 아닐까 그렇게 판단했습니다.

즉, readonly 수식어가 붙은 경우, 더 넓은 타입, 슈퍼타입이 되는 것과 같은 맥락을 하는데요,

슈퍼타입은 서브타입에 비해 일반적이고, 포괄적인 의미라고 이해하고 있는데, 어떻게 제한적인 뉘앙스에readonly 수식어가 타입을 넓혀주는, 즉 타입을 넓게 해주는 역할을 하는건지, 설명이 궁금합니다:]

2. 3.4 ThisType

type Obj = {
  data:Data,
  methods:Methods & ThisType<Data & Methods>
}

객체 Obj의 타입을 위와 같이 정의하는 코드 중에, 아래 부분 질문 드립니다.

methods:Methods & ThisType<Data & Methods> 

Data는 data객체를 , Methods는 method 객체를 타입 정의한 것,
this 객체 타입을 정의하기 위해, 객체 안에 있는 두개의 객체(data객체, methods객체)를 모두 담는 새로운 타입을 정의하기 위해, & 연산자를 사용했다고 이해했습니다.
마지막으로 중복된 코드를 사용하지 않기 위해, ThisType이란 유틸리티 타입을 사용한것이라고 이해했습니다.

그런데, 다시 Methods를 & 연산자로 다시 병합한 이유가 궁금합니다

아래와 같이 그냥 ThisType<Data & Methods> 하지 않고,
Methods와 & 연산자로 다시 교집합 하는 의미는 무엇일까요

methods:Methods & ThisType<Data & Methods> 

이미 ThisType이란 유틸리티 타입으로 타입 Data와 Methods를 정의했는데,
다시 Methods를 &연산자와 사용하는걸까요?