배열의 길이를 활용하면, 재귀 타입 선언을 몇 번 반복할 지 지정할 수 있습니다. 예를 들어, type Loop = Result["length"] extends Count ? Result : L

배열의 길이를 활용하면, 재귀 타입 선언을 몇 번 반복할 지 지정할 수 있습니다. 예를 들어, type Loop = Result["length"] extends Count ? Result : Loop<Count, [...Result, string]; 위와 같은 Loop라는 타입이 있을 때, 재귀적으로 Loop 타입이 선언되면서 Result의 길이가 1씩 증가합니다. 그러다 언젠간 Count에 지정한 숫자와 Result의 길이가 같아지게 되면 Result 타입을 반환하게 됩니다. 이런식으로 코드를 작성하면 말씀하신 N개의 요소를 가진 튜플 타입을 정의할 수 있어요! (TypeScript 플레이그라운드) https://www.typescriptlang.org/play?#code/PTAEHUCcEsBdYKYDtQCMCeoDKCCuSBzSAe1ABkEEBYAKFtnQAcFtoAvBAEwBVdGAbBAB5aoMaG5MEAGlHis7FggAeiJJwDOoJLgC2qBJFk1xoAEoINufrFAq1miVIDaAXVABeUG9oA+T+aW1rDOAESChLAAFqHu9siOChygAPyBVjagAFysHDx8gkKSzNK5Mt4AdFUWGbClxQiuvgDctPRSEshYsDCEAUlcvALCGj3QhKUAjAAMLUA