TrimLeft

type TrimLeft<S extends string> = S extends `${infer R}${infer Rest}` ? R extends ' ' | '\n' | '\t' ? TrimLeft<Rest> : S : ''; 

 

string이 `${infer R}${infer Rest}` 일 때, R은 첫번째 글자가 되고 Rest는 나머지 모든 글자가 된다.

따라서 R이 빈 문자일 경우에는 Rest를 다시 재귀적으로 TrimLeft로 호출해주면 된다.

R이 빈 문자가 아닐 경우에는 TrimLeft할 게 없으니 종료 시점으로 보고 S를 리턴하면 된다.

만약 string이 `${infer R}${infer Rest}`의 형식이 아닐 경우는 빈 문자이기 때문에 빈 문자를 리턴하면 된다.