Post B8Mm1QDlRx5DH44nZ2 by lunareclipse@snug.moe
 (DIR) More posts by lunareclipse@snug.moe
 (DIR) Post #B8Mm1QDlRx5DH44nZ2 by lunareclipse@snug.moe
       0 likes, 0 repeats
       
       @tay mmm thinking about that JetBrains library that lets you annotate nullabilityI think I ran into that when using JVM Kotlin, but that was very long ago
       
 (DIR) Post #B8Mm1QSeYazc1F2gls by natty@astolfo.social
       0 likes, 0 repeats
       
       @lunareclipse@snug.moe @tay@transfem.social it's in errorprone too, something that I begrudgingly wish actually got used
       
 (DIR) Post #B8MmAA3uthFjlTdaSm by natty@astolfo.social
       1 likes, 0 repeats
       
       @lunareclipse@snug.moe @tay@transfem.social also it (Java) does have tagged unions now but nobody uses it because we don't have value types yet