함수 타입 호환성의 내용 중에 문의 드립니다.

안녕 하세요..

아래 내용에 대해서 문의 드립니다.

type C = (value:number) => void;

type D = (value:10) => void;

let c: C = (value) => {};

let d: D = (value) => {};

c = d;

type Animal = {

name: string;

color: string;

};

type Dog = {

name: string;

color: string;

breed: string;

};

let animalFunc = (animal: Animal):void => {

console.log(animal.name);

};

let dogFunc = (dog: Dog):void => {

console.log(dog.name);

console.log(dog.color);

};

에서 c 와 d 의 경우 매개변수가 원시타입? 인 number 와 number 리터럴 간의 관계 이고 Animal 타입과 Dog 타입의 경우는 객체 간의 관계 입니다.

Animal 의 인자는 1개 이고 Dog 는 2개 이므로 대입할 수가 없기 때문에 오류가 발생 하지만 위의 number 와 number 리터럴은 원시타입 이므로 Animal, Dog 와 달리 대입 인자의 갯수 등은 문제가 되질 않습니다.

그래서 매개변수의 호환성 에서 설명이 잘 이해가 되질 않습니다... 그렇다면 number 와 number 리터럴 간의 관계가 객체 타입 처럼 슈퍼와 자식 간의 관계로 봐야 하나요?

그리고 인자의 갯수 등은 문제가 되지 않는건가요?

제 질문의 의도가 잘 전달 되었는지 모르겠습니다.

감사 합니다.