I’m porting the TypeScript type checker tsc to Go

Re:I’m porting the TypeScript type checker tsc to Go by Jenk on Tuesday January 25, 2022 @04:20PM (#30078222)

I wouldn't expect never[] to mean 0 length array, tbf. It's a variable length array of _type_ never. It should be something akin to:

    declare foo: never[0];

[ Parent | on HN ]

Re:I’m porting the TypeScript type checker tsc to Go by emteycz on Tuesday January 25, 2022 @04:31PM (#30078373)

I think the correct solution is:

    declare foo: []; // fixed-length array (tuple) without any items

[ Parent | on HN ]

Re:I’m porting the TypeScript type checker tsc to Go by crdrost on Tuesday January 25, 2022 @06:06PM (#30079400)

JS is a strict language, so an array containing one or more bottoms is a bottom. The only legal value is the empty array, at least in theory.

[ Parent | on HN ]