Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Word choices are very important. Yes we want to use smaller common words but not to the point of being misleading.

> Type inference means that if you don't tell the compiler the type, but it can decide by itself, it will decide.

The word 'decide' implies that there was a choice that was made. I would think of inference more as 'determine' as the process is deterministic just not always successful. Or are there actual cases where the compiler infers a type that's close but not entirely correct?



Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

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

Search: