Hacker News Reader

> Non-Nullable Types by Default

So glad to hear this. I now consider this the single most important requirement when am evaluating a new programming language.

Error handling looks well thought out as well.

Very interested in how the borrow checker logic would shape up.

If this delivers on the promises made, it would pretty much be my dream programming language.

View on HN

C has non-nullable types too. Only one type can be null in C, and in that event it signifies an absence of a value of that type.

Sure, but practically, that type is used so commonly that such a distinction is useless. Can I get a FILE? I guess I can get a FILE*…

Right, so check if it's null. In practice, you do it just as often in C as you check for std::nullopt in C++ or std::option::ok in Rust etc.

Once I check if an Option/optional/Maybe is none, I can extract the value and just pass around the value, so other functions I call know that the value cannot be null.

This does not work well for FILE in C, for instance.

Reply on news.ycombinator.com