함수 타입의 호환성에 대해서 궁금한 사항이 있습니다.

선생님 안녕하세요:) 이직을 위해서 선생님 강의로 타입스크립트 열심히 달리는 학생1입니다! 궁금한 사항을 30분정도 고민해봤는데 잘 모르겠어서 질문 남깁니다...

궁금한 사항 1 (수업 이외에 궁금한 사항입니다.)

Animal타입은 Dog타입의 슈퍼타입이기 떄문에, testFunc라는 함수에 매개변수로 dog를 대신 넣어 줄 수 있습니다.

type Animal = {
    name: string;
    color?: string;
};

type Dog = {
    name: string;
    color: string;
};

let animal: Animal = {
    name: "동물",
}

let dog: Dog = {
    name: "멍멍이",
    color: "브라운",
}

let testFunc = (animal: Animal) => {
    console.log(animal.name)
    console.log(animal.color)

    // 혹은

    console.log(dog.name)
    console.log(dog.color)
}

testFunc(dog);

testFunc 매개변수를 animal: Animal로 받았기 때문에, animal로 출력하는게 맞는지 dog로 출력하는게 맞는지 알 수 있을까요? 만약 animal 변수 프로퍼티에 color가 없다면 dog로 받아야 되는게 맞지 않을까요?

let testFunc = (animal: Animal) => {
    console.log(animal.name)
    console.log(animal.color)

    // 혹은

    console.log(dog.name)
    console.log(dog.color)
}

추가 궁금한 사항 > 실무에서 이런 식으로 타입이 다른 매개변수를 받는 일이 많을까요?? 공부하면서 문득 드는 생각이였습니다. ㅜㅜ

궁금한 사항2 (수업과 관련된 이야기)

함수내 매개변수 호환성을 따젔을떄 다운 캐스팅이 코드상 더 안전하기 떄문에 업 캐스팅은 안되고 다운캐스팅은 가능하다고 하셨습니다. 이 내용이 질문 1과 관련이 있는 이야기일까요?

let animalFunc = (animal: Animal) => {
  console.log(animal.name);
};

let dogFunc = (dog: Dog) => {
  console.log(dog.name);
  console.log(dog.color);
};

animalFunc = dogFunc;
dogFunc = animalFunc;

let testFunc = (animal: Animal) => {
  console.log(animal.name)
  console.log(animal.color)
}

let testFunc2 = (dog: Dog) => {
  console.log(dog.name);
}

type Animal = {
    name: string;
    color?: string;
};

type Dog = {
    name: string;
    color: string;
};

type Animal = {
    name: string;
};

type Dog = {
    name: string;
    color: string;
};

let testFunc = (animal: Animal) => {
    console.log(animal.name)
    console.log(animal.color)

    // 혹은

    console.log(dog.name)
    console.log(dog.color)
}

testFunc(dog);