News for hackers. Stuff that matters.

A comment on The Next Step for Generics. Parent comment

Re:The Next Step for Generics by cies on Wednesday June 17, 2020 @02:45AM (#23548498)
> Lack of exceptions

Is that really a problem? I think proper sum types to allow Result types that can encode many success/error states are so much nicer than an exception hierarchy. Rust and Kotlin did not go with exceptions, and for good reasons.

> C, C++, Java, Lisp, Python, Ruby... you name it I've done it.

Let me name a few: Rust, Kotlin, OCaml/Reason, Haskell, Elm. These languages carefully selected a set of features, the all have: no implicit nulls and sum types. And in your list non of them have those features. I really wonder what you think of these features when you've worked with them.

[ Parent | on HN ]
Re:The Next Step for Generics by aa66tt55rr44 on Wednesday June 17, 2020 @08:59AM (#23550815)
> Kotlin

Kotlin very much did go with exceptions except for the Result type in coroutines which wraps a Throwable anyway and is only used for the border between the coroutine runner and the async functions.

[ Parent | on HN ]