Feathercrown comments on know the features of your language

know the features of your language (lemmy.world)

submitted 2 years ago by jroid8@lemmy.world to c/programmerhumor@lemmy.ml

145 comments fedilink hide all child comments

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

[–] Feathercrown@lemmy.world 5 points 2 years ago (3 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

parent

hideshow 3 child comments

[–] itslilith@lemmy.blahaj.zone 4 points 2 years ago (1 child)

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

parent

hideshow 1 child comment

[–] Feathercrown@lemmy.world 1 point 2 years ago

Yeah it's nice to be able to see it

parent

[–] kogasa@programming.dev 3 points 2 years ago

Yes it is

parent