Ufdjrw

Is it my responsibility to learn a new technology in my own time my employer wants to implement?

WOW air has ceased operation, can I get my tickets refunded?

Customer Requests (Sometimes) Drive Me Bonkers!

How do we know the LHC results are robust?

What's the point of interval inversion?

Increase performance creating Mandelbrot set in python

Return the Closest Prime Number

Anatomically Correct Mesopelagic Aves

Is it a good idea to use COLUMN AS (left([Another_Column],(4)) instead of LEFT in the select?

How do I get the green key off the shelf in the Dobby level of Lego Harry Potter 2?

Science fiction (dystopian) short story set after WWIII

Visit to the USA with ESTA approved before trip to Iran

Can a single photon have an energy density?

I believe this to be a fraud - hired, then asked to cash check and send cash as Bitcoin

Opposite of a diet

Implement the Thanos sorting algorithm

Describing a person. What needs to be mentioned?

Trouble understanding the speech of overseas colleagues

Only print output after finding pattern

Rotate a column

How do scammers retract money, while you can’t?

Why does standard notation not preserve intervals (visually)

Apart from "berlinern", do any other German dialects have a corresponding verb?

Was a professor correct to chastise me for writing "Prof. X" rather than "Professor X"?

explanation on behaviour of `keyof` operator on generic types

1

I've stumbled across a small issue, which I actually managed to solve. However, I am looking for an explanation why this is an issue in the first place.

Lets say we have the following types:

interface Base 
 name: string;


interface TypeA extends Base 
 foo: number;
 

interface TypeB extends Base 
 bar: string;

And we have the following generic function:

const genericSet = <T>(obj: T, partial: Partial<T>) => ( ...obj, ...partial );
const demo = genericSet( b: '222', a: 111 , a: 333 );
/* works great */

but now let's call the function from within another generic function:

function doSomething<T extends Base>(obj: T) 
 const newObj = genericSet(obj, name: 'a' ); //error!, argument name: string isn't assignable to Partial<T>
 ...

But if we define the function like this, basically just rewriting Partial

const genericSet2 = <T, K extends keyof T>(obj: T, partial:[key in K]?: T[key] ) => ( ...obj, ...partial );

Than everything works!

I'm just looking for information why. Intuitively I can guess it's something related when typescript actually computes types, but I would like a concrete explanation on why it works (If nothing else, just so I'm familiar with actual terms)

If you know of any relevant github issues/commits, it would also be great.

typescript generics

share|improve this question

asked Mar 7 at 14:01

Aviad HadadAviad Hadad

90449

add a comment | 

1

I've stumbled across a small issue, which I actually managed to solve. However, I am looking for an explanation why this is an issue in the first place.

Lets say we have the following types:

interface Base 
 name: string;


interface TypeA extends Base 
 foo: number;
 

interface TypeB extends Base 
 bar: string;

And we have the following generic function:

const genericSet = <T>(obj: T, partial: Partial<T>) => ( ...obj, ...partial );
const demo = genericSet( b: '222', a: 111 , a: 333 );
/* works great */

but now let's call the function from within another generic function:

function doSomething<T extends Base>(obj: T) 
 const newObj = genericSet(obj, name: 'a' ); //error!, argument name: string isn't assignable to Partial<T>
 ...

But if we define the function like this, basically just rewriting Partial

const genericSet2 = <T, K extends keyof T>(obj: T, partial:[key in K]?: T[key] ) => ( ...obj, ...partial );

Than everything works!

I'm just looking for information why. Intuitively I can guess it's something related when typescript actually computes types, but I would like a concrete explanation on why it works (If nothing else, just so I'm familiar with actual terms)

If you know of any relevant github issues/commits, it would also be great.

typescript generics

share|improve this question

asked Mar 7 at 14:01

Aviad HadadAviad Hadad

90449

add a comment | 

I've stumbled across a small issue, which I actually managed to solve. However, I am looking for an explanation why this is an issue in the first place.

Lets say we have the following types:

interface Base 
 name: string;


interface TypeA extends Base 
 foo: number;
 

interface TypeB extends Base 
 bar: string;

And we have the following generic function:

const genericSet = <T>(obj: T, partial: Partial<T>) => ( ...obj, ...partial );
const demo = genericSet( b: '222', a: 111 , a: 333 );
/* works great */

but now let's call the function from within another generic function:

function doSomething<T extends Base>(obj: T) 
 const newObj = genericSet(obj, name: 'a' ); //error!, argument name: string isn't assignable to Partial<T>
 ...

But if we define the function like this, basically just rewriting Partial

const genericSet2 = <T, K extends keyof T>(obj: T, partial:[key in K]?: T[key] ) => ( ...obj, ...partial );

Than everything works!

I'm just looking for information why. Intuitively I can guess it's something related when typescript actually computes types, but I would like a concrete explanation on why it works (If nothing else, just so I'm familiar with actual terms)

If you know of any relevant github issues/commits, it would also be great.

typescript generics

share|improve this question

asked Mar 7 at 14:01

Aviad HadadAviad Hadad

90449

interface Base 
 name: string;


interface TypeA extends Base 
 foo: number;
 

interface TypeB extends Base 
 bar: string;

const genericSet = <T>(obj: T, partial: Partial<T>) => ( ...obj, ...partial );
const demo = genericSet( b: '222', a: 111 , a: 333 );
/* works great */

function doSomething<T extends Base>(obj: T) 
 const newObj = genericSet(obj, name: 'a' ); //error!, argument name: string isn't assignable to Partial<T>
 ...

const genericSet2 = <T, K extends keyof T>(obj: T, partial:[key in K]?: T[key] ) => ( ...obj, ...partial );

share|improve this question

asked Mar 7 at 14:01

Aviad HadadAviad Hadad

90449

share|improve this question

asked Mar 7 at 14:01

Aviad HadadAviad Hadad

90449

asked Mar 7 at 14:01

Aviad HadadAviad Hadad

90449

asked Mar 7 at 14:01

Aviad HadadAviad Hadad

90449