Yes, I agree with your sentiment. Also:

I thiiiiiiiink the cost of this is that type information won’t propagate outside the function

And ofc that applies to the function. itself, i.e. what will be the type of the variable that you store this function into? It opens a box of lots of issues, which is why I have the same feeling as you: those exceptional built-in things break my intuition about how things work, which is very annoying.

score 2 · canonical

It’s not only happening there but everywhere in Google’s ecosystem. I completely lost faith in all their services.

score 3 · canonical

Too bad that they didn’t follow the common convention and call it the “bottom” type, because that’s what it’s called in most other language to my knowledge.

And it’s good that Rust has that type. Any language with a decent typesystem must have it. If a language doesn’t have it, well, from my perspective it’s an amateur language and a world of pain awaits you. Looking at golang for example…

score 1 · canonical