News for hackers. Stuff that matters.

A comment on Project Valhalla, Explained: How a Decade of Work Arrives in JDK 28. Parent comment

Re:Project Valhalla, Explained: How a Decade of Work Arrives... by ahoka on Friday June 19, 2026 @06:38AM (#48597032)
Or just do as Kotlin and embrace null, but in a type aafe way.
[ Parent | on HN ]
Re:Project Valhalla, Explained: How a Decade of Work Arrives... by gf000 on Friday June 19, 2026 @06:45AM (#48597084)
"Funnily", having nullable types be practically `T | Null` gives you union types, not sum types (the latter is, importantly are a disjunct union!)

The main difference is that (T | Null) | Null = T | Null, while Maybe<Maybe<T>> is different from Maybe<T>

[ Parent | on HN ]
Re:Project Valhalla, Explained: How a Decade of Work Arrives... by ahoka on Friday June 19, 2026 @09:02AM (#48598097)
Your point being?
[ Parent | on HN ]