ScalaNullSafe is a macro-based null-safety library whose purpose is to provide a quick, easy, readable/writable, and efficient way to do null-safe traversals in Scala.
It’s been along time coming, but I finally got around to porting the library to Scala 3’s new meta-programming implementation!
Hopefully it will be helpful to you!
This looks pretty cool.
I wonder if it would be possible to also have some kind of @notnull annotation to tell the macro to not check certain fields.
I know you can do stuff like ?(foo.bar).baz, but for more complex situations, things get trickier.
And, from the readme:
The original reason this library was created was to simplify a large amount of code that dealt with extracting values out of highly nested Avro data structures.
I can imagine that code autogenerated from Avro schemas could include the annotation to speed things up.
Yeah the macro is already designed to skip checking things for null that aren’t nullable.
The only thing missing is that reference types in Java and Scala are nullable by default. But maybe in Scala 3 I can detect if -Yexplicit-nulls is turned on skip things that aren’t a union with Null. also maybe add some support for other @null and @notNull annotations.
Thanks for the suggestion!