Re:JVM/Java: Null-Restricted and Nullable Types
by bkail on Friday August 02, 2024 @08:40AM
(#41138361)
nullability is directly related to the value classes effort (the top article mentions value classes, and the JEP you linked mentions nullability): in order to get the most benefit out of value classes, you need some way to express guaranteed non-nullability to avoid needing to encode null (imagine Point[] vs Point![]): https://cr.openjdk.org/~jrose/values/flattened-values.html#i...
[ Parent
| on HN ]