Hacker News new | past | comments | ask | show | jobs | submit login

The point is that this is not a type inference, it is a restricted form of a type propagation (i.e., a subset of the pre-auto C++ type propagation, not an extension of it).



So your point is that some people do not consider every form of inferring the type of a variable to be type inference. I get that.


No, I am pointing out that the type is fully explicit here and not "inferred" from anything.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: