TS4.0 Variadic Tuple Types #172
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
bumkeyy
reviewed
Aug 31, 2020
Co-authored-by: Kibeom Kwon <[email protected]>
Closed
bumkeyy
reviewed
Sep 2, 2020
| @@ -5,17 +5,17 @@ permalink: /docs/handbook/release-notes/typescript-4-0.html | |||
| oneline: TypeScript 4.0 Release Notes | |||
| --- | |||
|
|
|||
| ## Variadic Tuple Types | |||
| ## 가변 인자 튜플 유형 (Variadic Tuple Types) | |||
There was a problem hiding this comment.
Suggested change
| ## 가변 인자 튜플 유형 (Variadic Tuple Types) | |
| ## 가변 인자 튜플 타입 (Variadic Tuple Types) |
bumkeyy
reviewed
Sep 2, 2020
|
|
||
| Consider a function in JavaScript called `concat` that takes two array or tuple types and concatenates them together to make a new array. | ||
| 두 개의 배열 혹은 튜플 타입을 연결하여 새로운 배열을 만드는 JavaScript의 `concat` 함수에 대해서 생각해봅시다. |
There was a problem hiding this comment.
Suggested change
| 두 개의 배열 혹은 튜플 타입을 연결하여 새로운 배열을 만드는 JavaScript의 `concat` 함수에 대해서 생각해봅시다. | |
| 배열이나 튜플 타입 두 개를 결합하여 새로운 배열을 만드는 JavaScript의 `concat` 함수에 대해서 생각해봅시다. |
bumkeyy
reviewed
Sep 2, 2020
|
|
||
| ```js | ||
| function concat(arr1, arr2) { | ||
| return [...arr1, ...arr2]; | ||
| } | ||
| ``` | ||
|
|
||
| Also consider `tail`, that takes an array or tuple, and returns all elements but the first. | ||
| 또한, 배열이나 튜플을 인자로 입력받아 첫 번째 원소를 제외한 모든 원소를 반환해주는 `tail` 함수에 대해서도 생각해봅시다. |
There was a problem hiding this comment.
Suggested change
| 또한, 배열이나 튜플을 인자로 입력받아 첫 번째 원소를 제외한 모든 원소를 반환해주는 `tail` 함수에 대해서도 생각해봅시다. | |
| 그리고 배열이나 튜플을 인자로 입력받아 첫 번째 원소를 제외한 나머지를 반환하는 `tail` 함수에 대해서도 생각해봅시다. |
bumkeyy
reviewed
Sep 2, 2020
| @@ -38,8 +38,8 @@ function concat<A, B, C, D, E>(arr1: [A, B, C, D, E], arr2: []): [A, B, C, D, E] | |||
| function concat<A, B, C, D, E, F>(arr1: [A, B, C, D, E, F], arr2: []): [A, B, C, D, E, F];) | |||
| ``` | |||
|
|
|||
| Uh...okay, that's...seven overloads for when the second array is always empty. | |||
| Let's add some for when `arr2` has one argument. | |||
| 음... 네, 두 번째의 배열이 항상 비어있는 경우 작성된 7개의 오버로드들입니다. | |||
There was a problem hiding this comment.
Suggested change
| 음... 네, 두 번째의 배열이 항상 비어있는 경우 작성된 7개의 오버로드들입니다. | |
| 음... 네, 이 오버로드들의 두번째 배열은 전부 비어있습니다. |
bumkeyy
reviewed
Sep 2, 2020
| @@ -52,26 +52,26 @@ function concat<A1, B1, C1, D1, E1, A2>(arr1: [A1, B1, C1, D1, E1], arr2: [A2]): | |||
| function concat<A1, B1, C1, D1, E1, F1, A2>(arr1: [A1, B1, C1, D1, E1, F1], arr2: [A2]): [A1, B1, C1, D1, E1, F1, A2]; | |||
| ``` | |||
|
|
|||
| We hope it's clear that this is getting unreasonable. | |||
| Unfortunately, you'd also end up with the same sorts of issues typing a function like `tail`. | |||
| 이것이 지나치다는 것이 분명해지기를 바랍니다. | |||
There was a problem hiding this comment.
Suggested change
| 이것이 지나치다는 것이 분명해지기를 바랍니다. | |
| 이런 오버로딩 함수들은 분명 비합리적입니다. |
의역을 한번 해봤습니다. [제안]
There was a problem hiding this comment.
이 부분이 되게 애매했었는데 아주 좋은 제안인 것 같습니다. 수정 완료!
bumkeyy
reviewed
Sep 2, 2020
| We hope it's clear that this is getting unreasonable. | ||
| Unfortunately, you'd also end up with the same sorts of issues typing a function like `tail`. | ||
| 이것이 지나치다는 것이 분명해지기를 바랍니다. | ||
| 안타깝게도, `tail`과 같은 함수를 타이핑할 때 이와 같은 비슷한 종류의 문제에 직면하게 될 것입니다. |
There was a problem hiding this comment.
Suggested change
| 안타깝게도, `tail`과 같은 함수를 타이핑할 때 이와 같은 비슷한 종류의 문제에 직면하게 될 것입니다. | |
| 안타깝게도, `tail` 함수를 타이핑할 때도 이와 같은 비슷한 문제에 직면하게 됩니다. |
[제안]
There was a problem hiding this comment.
제안해주신 것 중에 이와 같은 비슷한 문제 를 이와 비슷한 문제로 수정했습니다. :)
bumkeyy
reviewed
Sep 2, 2020
| This is another case of what we like to call "death by a thousand overloads", and it doesn't even solve the problem generally. | ||
| It only gives correct types for as many overloads as we care to write. | ||
| If we wanted to make a catch-all case, we'd need an overload like the following: | ||
| 이것은 "천 개의 오버로드로 인한 죽음(death by a thousand overloads)"이라고 부르고 싶은 또다른 경우이며, 일반적으로 문제를 해결하지도 않습니다. |
There was a problem hiding this comment.
Suggested change
| 이것은 "천 개의 오버로드로 인한 죽음(death by a thousand overloads)"이라고 부르고 싶은 또다른 경우이며, 일반적으로 문제를 해결하지도 않습니다. | |
| 이것은 "천 개의 오버로드로 인한 죽음(death by a thousand overloads)"의 하나의 경우이며, 심지어 대부분 문제를 해결하지도 못합니다. |
[제안]
bumkeyy
reviewed
Sep 2, 2020
|
|
||
| ```ts | ||
| function concat<T, U>(arr1: T[], arr2: U[]): Array<T | U>; | ||
| ``` | ||
|
|
||
| But that signature doesn't encode anything about the lengths of the input, or the order of the elements, when using tuples. | ||
| 그러나 해당 시그니처는 튜플을 사용할 때 입력의 길이나 요소의 순서에 대한 어떤 것도 인코딩하지 않습니다. |
There was a problem hiding this comment.
Suggested change
| 그러나 해당 시그니처는 튜플을 사용할 때 입력의 길이나 요소의 순서에 대한 어떤 것도 인코딩하지 않습니다. | |
| 그러나 위 시그니처는 튜플을 사용할 때 입력 길이나 요소 순서에 대한 어떤 것도 처리하지 않습니다. |
[제안]
bumkeyy
reviewed
Sep 2, 2020
|
|
||
| TypeScript 4.0 brings two fundamental changes, along with inference improvements, to make typing these possible. | ||
| TypeScript 4.0은 추론 개선과 함께 두 가지 핵심적인 변화를 가져와 이러한 타이핑을 가능하게 합니다. |
There was a problem hiding this comment.
Suggested change
| TypeScript 4.0은 추론 개선과 함께 두 가지 핵심적인 변화를 가져와 이러한 타이핑을 가능하게 합니다. | |
| TypeScript 4.0은 타입 추론 개선을 포함한 두 가지 핵심적인 변화를 도입해 이러한 타이핑을 가능하도록 만들었습니다. |
[제안]
bumkeyy
reviewed
Sep 2, 2020
| This means that we can represent higher-order operations on tuples and arrays even when we don't know the actual types we're operating over. | ||
| When generic spreads are instantiated (or, replaced with a real type) in these tuple types, they can produce other sets of array and tuple types. | ||
| 첫 번째 변화는 튜플 타입 구문의 확장 연산자에서 제너릭 타입을 사용할 수 있다는 점입니다. | ||
| 이 것은 우리가 작동하는 실제 타입을 모르더라도 튜플과 배열에 대해 고차함수를 표현할 수 있다는 뜻입니다. |
There was a problem hiding this comment.
Suggested change
| 이 것은 우리가 작동하는 실제 타입을 모르더라도 튜플과 배열에 대해 고차함수를 표현할 수 있다는 뜻입니다. | |
| 우리가 작동하는 실제 타입을 모르더라도 튜플과 배열에 대한 고차함수를 표현할 수 있다는 뜻입니다. |
guyeol
reviewed
Sep 4, 2020
| When generic spreads are instantiated (or, replaced with a real type) in these tuple types, they can produce other sets of array and tuple types. | ||
| 첫 번째 변화는 튜플 타입 구문의 확장 연산자에서 제너릭 타입을 사용할 수 있다는 점입니다. | ||
| 우리가 작동하는 실제 타입을 모르더라도 튜플과 배열에 대한 고차함수를 표현할 수 있다는 뜻입니다. | ||
| 이러한 튜플 타입에서 제너릭 확장 연산자가 인스턴스화(혹은, 실제 타입으로 대체)되면 또다른 배열이나 튜플 타입 세트를 생산할 수 있습니다. |
There was a problem hiding this comment.
Suggested change
| 이러한 튜플 타입에서 제너릭 확장 연산자가 인스턴스화(혹은, 실제 타입으로 대체)되면 또다른 배열이나 튜플 타입 세트를 생산할 수 있습니다. | |
| 이러한 튜플 타입에서 제너릭 확장 연산자가 인스턴스화(혹은, 실제 타입으로 대체)되면 또 다른 배열이나 튜플 타입 세트를 생산할 수 있습니다. |
guyeol
reviewed
Sep 4, 2020
| @@ -127,20 +127,20 @@ function concat<T extends Arr, U extends Arr>(arr1: T, arr2: U): [...T, ...U] { | |||
| } | |||
| ``` | |||
|
|
|||
| While that one signature is still a bit lengthy, it's just one signature that doesn't have to be repeated, and it gives predictable behavior on all arrays and tuples. | |||
| 하나의 시그니처가 조금 길더라도, 반복할 필요가 없는 하나의 시그니처일뿐이며, 모든 배열과 튜플에서 예측가능한 행동을 제공합니다. | |||
There was a problem hiding this comment.
Suggested change
| 하나의 시그니처가 조금 길더라도, 반복할 필요가 없는 하나의 시그니처일뿐이며, 모든 배열과 튜플에서 예측가능한 행동을 제공합니다. | |
| 하나의 시그니처가 조금 길더라도, 반복할 필요가 없는 하나의 시그니처일 뿐이며, 모든 배열과 튜플에서 예측 가능한 행동을 제공합니다. |
guyeol
reviewed
Sep 4, 2020
| 이 기능은 그 자체만으로도 훌륭하지만, 조금 더 정교한 시나리오에서도 빛을 발합니다. | ||
| 예를 들어,[함수의 매개변수를 부분적으로 적용하여 새로운 함수를 반환하는](https://en.wikipedia.org/wiki/Partial_application) `partialCall` 함수가 있다고 생각해봅시다. | ||
| `partialCall`은 다음과 같은 함수를 가집니다. - `f`가 예상하는 몇 가지 인수와 함께 `f`라고 지정하겠습니다. | ||
| 그 후, `f`가 여전히 필요로하는 다른 인수를 가지고, 그것을 받을 때 `f`를 호출하는 새로운 함수를 반환합니다. |
There was a problem hiding this comment.
Suggested change
| 그 후, `f`가 여전히 필요로하는 다른 인수를 가지고, 그것을 받을 때 `f`를 호출하는 새로운 함수를 반환합니다. | |
| 그 후, `f`가 여전히 필요로 하는 다른 인수를 가지고, 그것을 받을 때 `f`를 호출하는 새로운 함수를 반환합니다. |
There was a problem hiding this comment.
맞춤법 검사를 다 못했었네요 ㅠㅠ 수정했습니다!
dvlprsh
approved these changes
Sep 4, 2020
| It only gives correct types for as many overloads as we care to write. | ||
| If we wanted to make a catch-all case, we'd need an overload like the following: | ||
| 이것은 "천 개의 오버로드로 인한 죽음(death by a thousand overloads)"의 하나의 경우이며, 심지어 대부분 문제를 해결하지도 못합니다. | ||
| 우리가 작성하고자하는만큼의 오버로드에 한해서만 올바른 타입을 제공합니다. |
There was a problem hiding this comment.
Suggested change
| 우리가 작성하고자하는만큼의 오버로드에 한해서만 올바른 타입을 제공합니다. | |
| 우리가 작성하고자 하는 만큼의 오버로드에 한해서만 올바른 타입을 제공합니다. |
| const f3 = partialCall(foo, "hello"); | ||
| // ^? | ||
| // ^ = const f3: (y: number, z: boolean) => void |
|
|
||
| ```ts | ||
| type Strings = [string, string]; | ||
| type Numbers = [number, number]; | ||
|
|
||
| type StrStrNumNumBool = [...Strings, ...Numbers, boolean]; | ||
| // ^? | ||
| // ^ = type StrStrNumNumBool = [string, string, number, number, boolean] |
| The first change is that spreads in tuple type syntax can now be generic. | ||
| This means that we can represent higher-order operations on tuples and arrays even when we don't know the actual types we're operating over. | ||
| When generic spreads are instantiated (or, replaced with a real type) in these tuple types, they can produce other sets of array and tuple types. | ||
| 첫 번째 변화는 튜플 타입 구문의 확장 연산자에서 제너릭 타입을 사용할 수 있다는 점입니다. |
There was a problem hiding this comment.
[제안]
Suggested change
| 첫 번째 변화는 튜플 타입 구문의 확장 연산자에서 제너릭 타입을 사용할 수 있다는 점입니다. | |
| 첫 번째 변화는 튜플 타입 구문의 스프레드 연산자에서 제네릭 타입을 사용할 수 있다는 점입니다. |
| When generic spreads are instantiated (or, replaced with a real type) in these tuple types, they can produce other sets of array and tuple types. | ||
| 첫 번째 변화는 튜플 타입 구문의 확장 연산자에서 제너릭 타입을 사용할 수 있다는 점입니다. | ||
| 우리가 작동하는 실제 타입을 모르더라도 튜플과 배열에 대한 고차함수를 표현할 수 있다는 뜻입니다. | ||
| 이러한 튜플 타입에서 제너릭 확장 연산자가 인스턴스화(혹은, 실제 타입으로 대체)되면 또 다른 배열이나 튜플 타입 세트를 생산할 수 있습니다. |
There was a problem hiding this comment.
[제안]
Suggested change
| 이러한 튜플 타입에서 제너릭 확장 연산자가 인스턴스화(혹은, 실제 타입으로 대체)되면 또 다른 배열이나 튜플 타입 세트를 생산할 수 있습니다. | |
| 이러한 튜플 타입에서 제너릭 스프레드 연산자가 인스턴스화(혹은, 실제 타입으로 대체)되면 또 다른 배열이나 튜플 타입 세트를 생산할 수 있습니다. |
| A handful of other inference improvements and patterns also went into this, and if you're interested in learning more, you can take a look at [the pull request](https://github.com/microsoft/TypeScript/pull/39094) for variadic tuples. | ||
| 가변 인자 튜플 타입은 특히 기능 구성과 관련하여 많은 새로운 흥미로운 패턴을 가능하게 합니다. | ||
| 우리는 JavaScript에 내장된 `bind` 메서드의 타입 체킹을 더 잘하기 위해 이를 활용할 수 있을 것이라고 기대합니다. | ||
| 몇 가지 다른 추론 개선 및 패턴들도 여기에 포함되어있으며, 가변 인자 튜플에 대해 더 알아보고 싶다면, [the pull request](https://github.com/microsoft/TypeScript/pull/39094)를 참고해보세요. |
There was a problem hiding this comment.
Suggested change
| 몇 가지 다른 추론 개선 및 패턴들도 여기에 포함되어있으며, 가변 인자 튜플에 대해 더 알아보고 싶다면, [the pull request](https://github.com/microsoft/TypeScript/pull/39094)를 참고해보세요. | |
| 몇 가지 다른 추론 개선 및 패턴들도 여기에 포함되어있으며, 가변 인자 튜플에 대해 더 알아보고 싶다면, [the pull request](https://github.com/microsoft/TypeScript/pull/39094)를 참고해보세요. |
Suggested change
| 몇 가지 다른 추론 개선 및 패턴들도 여기에 포함되어있으며, 가변 인자 튜플에 대해 더 알아보고 싶다면, [the pull request](https://github.com/microsoft/TypeScript/pull/39094)를 참고해보세요. | |
| 몇 가지 다른 추론 개선 및 패턴들도 여기에 포함되어 있으며, 가변 인자 튜플에 대해 더 알아보고 싶다면, [the pull request](https://github.com/microsoft/TypeScript/pull/39094)를 참고해보세요. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
ref #171
TypeScript 4.0 첫 번역 진행해보았습니다~
Variadic Tuple Types 관련해서 진행했는데 약간 번역이 많이 매끄럽지 못한 것 같아요 😢
코멘트 달아주시면 좀 더 매끄럽게 수정해보겠습니다 ㅎㅎ
ts코드 부분에서// ^?로 되어있고 누락된 부분이 있어서 공식 문서보면서 추가해두었는데 올바르게 한 것일까요?partially apply arguments(133번째 줄) 번역할 때partial application에 대해 직접 번역했는데 이 부분을 어떻게 고쳐야할지 모르겠네요.피드백 부탁드려요! :)