Zustand의 Store 타입은 어떤 기준으로 작성하는 건가요?

안녕하세요, 선생님.

Zustand 스토어에 타입을 지정하는 부분이 궁금해서 질문드립니다.

강의에서는 다음과 같이 상태와 액션을 Store 타입으로 선언한 뒤, create 함수의 제네릭으로 전달했습니다.

type Store = {

  count: number;

  increase: () => void;

  decrease: () => void;

};

const useStore = create<Store>((set, get) => ({

  count: 0,

  increase: () => {

    const count = get().count;

    set({ count: count + 1 });

  },

  decrease: () => {

    set((store) => ({

      count: store.count - 1,

    }));

  },

}));

처음 코드를 작성했을 때는 get()의 반환값과 set의 콜백 매개변수인 store에서 타입 오류가 발생해서, 저는 해당 부분마다 타입을 직접 지정해야 한다고 생각했습니다.

그런데 강의를 보니 놀랍게도 create<Store>처럼 제네릭만 지정해도 set과 get에 관련된 타입 오류가 모두 해결되었습니다.

여기서 제가 궁금한 점은 다음과 같습니다.

1. Store 타입에는 왜 count, increase, decrease처럼 스토어 객체에 들어갈 상태와 액션만 작성하면 되는 건가요?

2. 처음 Zustand를 사용하는 사람은 Store 타입을 이런 형태로 작성해야 한다는 것을 공식 문서의 TypeScript 예제를 보고 알게 되는 건가요?

3. 아니면 패키지의 .d.ts나 .d.mts 같은 타입 선언 파일을 직접 확인하고, create와 StateCreator의 타입 구조를 해석해서 작성하는 건가요?

4. create<Store>에 지정한 타입이 내부의 set, get, 그리고 set 콜백의 store 타입까지 전달되기 때문에 오류가 해결된 것인지도 궁금합니다.

실제로 라이브러리를 사용할 때는 공식 문서의 사용법을 먼저 따라 하고, 타입이 적용되는 원리가 궁금하거나 오류가 발생했을 때 타입 선언 파일을 확인하는 방식이 일반적인지도 궁금합니다.

AI가 아닌 정환선생님이 직접 답변 부탁드리겠습니다.