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

There is active work being done currently to add set-theoretic types to the core language. https://www.youtube.com/watch?v=gJJH7a2J9O8


Oh wow I wasn't aware. Thanks for the link!




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: