Haskell has `bottom`[1] (see also [2]), which acts like Rust's `return` from a t... | Hacker News

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

		GrantMoyer 2 days ago \| parent \| context \| favorite \| on: Weird Expressions in Rust Haskell has `bottom`[1] (see also [2]), which acts like Rust's `return` from a type checking perspective. I wouldn't call using a uninhabited type for the type of a return expression theoretically inelegant. On the contrary, I find it quite pleasing. [1]: https://wiki.haskell.org/Bottom [2]: https://en.wikipedia.org/wiki/Bottom_type

dmkolobov 2 days ago [–]

On the more mainstream side of things, Typescript also has a bottom type called `never` which is used to type unreachable/exceptional code.

saghm 2 days ago | [–]

Rust has this too: https://doc.rust-lang.org/std/primitive.never.html

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact