TypeScript (Function)

Call Signatures

• 마우스를 갖다 올려보면 위에 뜨는 저 박스
• 함수의 인자 type 정의 + return type 정의
• Type을 먼저 정의한 뒤 -> 함수/코드를 구현하자
  • instead of 함수를 구현하면서 동시에 type을 정의하는 것보다 better 

//type 미리 정의
type Add = (a:number, b:number) => number

const add:Add = (a,b) => a+b

//instead of 
const add = (a:number, b:number) => a+b

---

Overloading

• 함수가 여러 개의 call signatures를 가지고 있을 때 발생
• 내가 직접 쓸 일은 거의 없지만, 외부 패키지나 라이브러리를 사용할 때 많이 볼 수 있기 때문에 알아두자!

type Config = {
	path: string, 
	state: object
}

type Push = {
	(path:string) : void //void=아무것도 return하지 않음
	(config: Config) : void
}

const push:Push = (config) => {
	if(typeof config==="string") {console.log(config)}
	else {
		console.log(config.path,config.state)
	}
}

type Add = {
	(a:number, b:number) : number
	(a:number, b:number, c:number) : number
}

//parameter 개수가 다를때? optional한 인자는 정확히 다시 정의해주기
const add:Add = (a,b,c?:number) => { 
	if(c) return a+b+c
	return a+b
}

---

Polymorphism

• many + structure = 다형성
• type이 뭐가 들어올지 모르는 상태로 call signature을 작성해야 할 때
  • generic을 사용하자!
• generic 정의 방법

type [type이름대문자] = {
	<[Generic이름]> (arr: [Generic이름][]) : void//void대신 암거나..뭘 return하는지에 따라
}

function superPrint<T>(a: T[]){
	return a[0];
}

• 다양한 generic usage

type SuperPrint={
	<T>(arr: T[]) : T
}

const superPrint:SuperPrint = (arr) => arr[0]

//밑에처럼 어떤 타입의 요소가 배열의 요소로 들어와도 상관없게 만들어주는 generic
//일일이 위에 type을 경우의 수마다 다 정의하기가 힘들다!!
superPrint([1,2,3]) //number
superPrint(["1","2","3"]) //string
superPrint([true,false,true]) //boolean
superPrint([true,"1",1]) //number|boolean|string

type A = Array<number> //generic한 배열 생성해줌

let a:A=[1,2,3,4]

function printAllNumbers(arr: Array<number>){}

type Player<E> = {
	name: string
	extraInfo: E
}

//generic 설정해주기 (어떤 type을 쓸지)
type ViniExtra = {
	favFood: string
}

type ViniPlayer = Player<ViniExtra>

const vini: ViniPlayer = {
	name: "vini",
	extraInfo: {
		favFood: "egg"
	}
}

---

Generics Recap

any를 안쓰고 generic을 쓰는 이유는?

- any는 정확히 무슨 type인지 지정해주지 않고, 
- generic은 어떤 type이 들어오냐에 따라 그 type을 추론해주기 때문에!
→ 한마디로, generic은 내가 원하는대로 signature을 생성/사용 가능!

• generic을 여러개 쓰고 싶다면?

type SuperPrint={
	<T, M>(a: T[], b:M) : T
}

superPrint([1,"hi", true], "x")
superPrint([1,"hi", true], false)
//generic이 생성되면 그 순서에 맞게 알아서 TS가 generic을 읽어줘