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

An affine type system is one in which some things don't have contraction, not one in which nothing has contraction.


Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

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

Search: