this post was submitted on 29 Jul 2025
-1 points (44.4% liked)

Programming

14121 readers
1 users here now

All things programming and coding related. Subcommunity of Technology.


This community's icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.

founded 2 years ago
MODERATORS
 

TypeScript does not throw an error at compile time for accessing an out-of-bounds index. Instead, it assumes that the value could be one of the types defined in the array (in this case, 1 or 2) or undefined.

TypeScript automatically infers the type of a value accessed from an array, even if that access is out of bounds. It assumes that the value could be one of the defined types or undefined, which can lead to confusion if you expect stricter enforcement of valid indices.

I just spent the last 2 hours trying to understand why I was getting a valid type from something that shouldn't have been valid.

I think that the hate that JavaScript receives is well deserved, at least coming from Rust this is an absolute nightmare.

you are viewing a single comment's thread
view the rest of the comments

I'm having trouble following the example the LLM generated for you in your screenshot...I'm not terribly familiar with TypeScript but MyUnionType should be a union of types and instead it seems to be a union of...1 or 2?

maybe you can share some example code of the unexpected behavior that you wrote, rather than something the fancy random number generator wrote?