this post was submitted on 08 Dec 2023
624 points (96.6% liked)

Programmer Humor

32566 readers
283 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] Feathercrown 5 points 11 months ago (2 children)

Isn't that also true with compile-time type checking though? Eg. 0 + x where x is int|null would be detected? I don't have much experience here so I could be wrong but I can't think of a case where they're not equivalent

[–] [email protected] 4 points 11 months ago (1 children)

Most languages that let you do ambiguous return types don't do compile-time type checking, and vice versa. But if it's actually implemented that way, then it's logically equivalent, you're right. Still, I prefer having things explicit

[–] Feathercrown 1 points 11 months ago

Yeah it's nice to be able to see it

[–] [email protected] 3 points 11 months ago