Variadic tuple inference does not work well with generics (e.g. currying array)

Đang mở
#41,136 0 bình luận 2 reaction 1 người được giao Xem trên GitHub

@ahejlsberg đang làm issue này rồi.

Từ ngày 3/11/2020.

Đánh giá

Issue này chưa được đánh giá.

Mô tả

Needs Investigation

TypeScript Version: 4.1.0-dev.20201015 (also 4.0.3)

Search Terms: variadic tuples, generics, curry, inference

Code

function curry<T extends unknown[], U extends unknown[], R>(f: (...args: [...T, ...U]) => R, ...a: T) {
    return (...b: U) => f(...a, ...b);
}

function _map<T, U>(mapFn: (t: T) => U, array: Array<T>): Array<U> {
  return array.map(mapFn);
}

const map1 = curry(_map);
const map2 = curry(_map, (s: string) => s.length);
const map3 = curry(_map, (s: string) => s.length, ['a', 'bravo'])

Expected behavior:

  • map1 should resolve to the type <T, U>(mapFn: (t: T) => U, array: Array<T>) => U
  • map2 should resolve to the type <T, U>(array: Array<T>) => U

Actual behavior:

  • map1 has _map unassignable to the first argument, with the error:

    Argument of type '<T, U>(mapFn: (t: T) => U, array: T[]) => U[]' is not assignable to parameter of type '(...args: unknown[]) => unknown[]'.
    Types of parameters 'mapFn' and 'args' are incompatible.
    Type 'unknown' is not assignable to type '(t: unknown) => unknown'.

  • map2 has _map unassignable to the first argument, with the error:

    Argument of type '<T, U>(mapFn: (t: T) => U, array: T[]) => U[]' is not assignable to parameter of type '(args_0: (s: string) => number, ...args_1: unknown[]) => number[]'.
    Types of parameters 'array' and 'args_1' are incompatible.
    Type 'unknown' is not assignable to type 'string[]'.

When inverting the order of _map to be data-first, map-function last, it has the same assignability issues (playground).

Playground Link: https://www.typescriptlang.org/play?ts=4.1.0-dev.20201015#code/GYVwdgxgLglg9mABBEAnVBPAPAFUQUwA8p8wATAZ0XAGsw4B3MAbQF0AaRAVQONMupg6jFh0QAlAHwAKYAC5E0gHQqAhqgDmFBcxVKcnPV1YBKRAF5JEw2oU4zAbwCwAKETvEqfFDRJlKgCMFLjNLRGB-JVUbJQCTAG5XAF9XV1BIWAREAH0AW1UAB1xOLhl8goAxMAVpKDtQqy5OdVRVDAUAQXQ23EkTTu7sUsRnN09vX0QWtqVy6XKqhOTUlwgECihEcoBGC2Q0TGk8wqXV9c3ygCY9lHQMI-LOaW1EDdQYMA0G16UAG1INFAABanNZgDZbQoAZhuB3uxwKTxebw+XwsVgofwBwM4zAA5Ko8Zw8QFWgA3OB40wrIA

Related Issues:

  • #39713
  • #39244
Ngôn ngữ chính
Go
Star
111k
Fork
14.4k
Merge trung bình
1 ngày 19 giờ
Pull request đã merge (30 ngày)
117

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của microsoft/TypeScript

Tất cả issue của microsoft/TypeScript

Issue tương tự

Thêm issue về Go

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.