this post was submitted on 08 Dec 2023
623 points (96.4% liked)

Programmer Humor

32060 readers
1704 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
[–] [email protected] 5 points 9 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 9 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

[–] [email protected] 1 points 9 months ago

Yeah it's nice to be able to see it

[–] kogasa 3 points 9 months ago