Hacker News new | past | comments | ask | show | jobs | submit login
Why calculating is better than scheming (1987) [pdf] (kent.ac.uk)
3 points by tinyspacewizard on Nov 11, 2022 | hide | past | favorite | 1 comment



    ... a type inference system means that typing (of data) need not involve extra typing (with fingers).




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: