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

Languages without ADTs and Optionals just feel impoverished.



Languages without full blown union types feel so impoverished. With good language typing support (including flow typing), optionals feel quite redundant.


But optionals are just a union type (T | None).


Languages without dependent types feel that something is still missing.




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: