Anything in D to avoid check for null everywhere?

[ddcovery]

On Tuesday, 12 January 2021 at 21:37:11 UTC, Jack wrote:
> I was looking for a way to avoid null checks everywhere. I was 
> checking the Null object pattern, or use something like enforce 
> pattern, or even if I could make a new operator and implement 
> something like C#'s .? operator, that Java was going to have 
> one but they refused[1] (doesn't behave exactly as C#'s 
> actually), Kotlin also got something in this area[2]
>
> What some D ways to avoid those checks?
>
> [1]: 
> https://mail.openjdk.java.net/pipermail/coin-dev/2009-March/000047.html
> [2]: 
> https://kotlinlang.org/docs/reference/null-safety.html#safe-calls

Hi Jack,

I have created this example implementation of the "Null safety" 
pattern using templates in D:

https://github.com/ddcovery/d_null_safety

It is, basically, a monad (functional programming orientation)  
with some syntax sugar taking advantage of the power of templates 
in D.