const getSum = (...rest: number[]) =>{
//rest로 여러개의 넘버를 받음(넘버만!)

const getSum2 = (a: number,...rest:[number, number]) =>{
//튜플로 rest로 두개의 넘버를 받음

function singSongRecursive(songs : string[], count = 0) : number {
    return songs.length ? singSongRecursive(songs.slice(1), count + 1) : count;
}
// 재귀함수에서의 명시적 반환 타입지정

let singer : (song : string) => string;

singer = function(song) {
    // song : string의 타입
    return `Singing : ${song.toUpperCase()}!`; // OK
}
//타입 스크립트는 선언된 타입의 위치에 제공된 함수의 매개변수 타입을 유추할 수 있다!

function logSong(song : string) : void {
  if(!song){
    return; // OK!  return undefined; 도 OK!
  }
  console.log(`${song}`);

  return true;   // Error! - Type 'boolean' is not assignable to type 'void'.
}
//  ← void를 반환하도록 선언되었으므로 값 반환을 허용하지 않음.

// But, 다음과 같이 화살표 함수는 구문 오류 없음!


type VoidReturn = () => void;
const test2:VoidReturn = () => 11;  // OK!
test2().toString(); // ?
//일부 함수는 어떤 값도 반환하지 않을 수 있음 -> 타입스크립트는 void 키워드를 사용해 반환값이 없는 함수의 타입을 확인할 수 있음
//void는 그냥 반환을 하려해도 타입스크립트는 검사를 안한다

//fuction은 등록을 해야해서 void를 썻는데 return이 있으면 오류뜨고
//화살표함수는 이미 등록이라서 void인데 return이 있어도 ㅇㅋ

function fail(message : string) : never {
    throw new Error(`Invariant Failure : ${message}`);
    // JS는 return undefined; 가 생략
}

function workWithUnsafeParam(param : unknown){
    if(typeof param !== "string"){
        fail(`param should be a string, not ${typeof param}`);
    }

    // 여기에서 param의 타입은 string으로 알려짐
    param.toUpperCase();
}

// 서로 다른 버전의 함수들(선언부) -> `오버로드 시그니처`
function func(a : number): void;
function func(a : number, b : number, c : number) : void;

// 실제 구현부 -> `구현 시그니처`
function func(a:number, b?: number, c?:number) {
  if(typeof b === 'number' && typeof c === 'number') {
    console.log(a + b + c);
  } else {
    console.log(a * 20);
  }
}

func(1);
func(1,2,3);

function f(cb: (this: void) => number) {
    return cb();
}
// 이 함수 f는 콜백 함수 cb를 매개변수로 받고 있는데, cb는 this를 사용하지 않는 함수여야 한다는 것을 명시하고 있습니다. 이를 위해 cb의 타입으로 (this: void) => number를 지정했는데, 이는 this가 void 타입임을 나타냅니다. 즉, this를 사용하지 않는 함수여야 한다는 뜻입니다.

const obj = { id: 1 };

function x(this: typeof obj) {
    return this.id;
}

function y() {
    return 1;
}

f(x); // Fail
f(y); // OK


// f(x):
// 실패하는 이유는 x 함수가 this로 obj를 필요로 하지만, f 함수는 cb의 this가 void라고 명시했기 때문입니다. 즉, f는 this를 사용하지 않는 함수만 받을 수 있는데, x는 this를 사용하므로 타입 호환이 되지 않습니다.
// 오류 메시지에서 설명하듯이, void 타입의 this는 { id: number }와 호환되지 않습니다.

// f(y):
// 성공하는 이유는 y 함수는 this를 사용하지 않으므로, this: void로 선언된 콜백 함수로 사용할 수 있기 때문입니다.

{
  "strict": true,
  "strictNullChecks": true,
  "strictFunctionTypes": true,
  "strictBindCallApply": true,
  "strictPropertyInitialization": true,
  "noImplicitThis": true,
  "alwaysStrict": true,
}
//
noUncheckedIndexedAccess : 해당 index의 값이 undefined일 수 있음을 체크하겠다!
이 옵션을 true로 설정하면 인덱스 시그니처에 'undefined'를 포함시킨다!

const nums1 = [1, 2, 3, 4, 5];
const nums2 = [10, 20, 30, 40, 50];

const result1 = nums1.concat(nums2);
// 당연히 result1은 number[]

const strings1 = ['lim', 'eun', 'ha'];
const result2 = result1.concat(strings1);// 에러가 뜬다. concat은 결합할 것의 타입이 같아야함

const nums1 = [1, 2, 3, 4, 5];
const nums2 = [10, 20, 30, 40, 50];

const result1 = nums1.concat(nums2);
// 당연히 result1은 number[]

const strings1 = ['lim', 'eun', 'ha'];
const result2 = [...result1, …strings1];

// 둘을 결합한 result2는 ?? (string | number)[]