"This random corner case in this function returns a null, but I don't see the consumer handling nulls." Modern type systems tend to incorporate handling of nul

"This random corner case in this function returns a null, but I don't see the consumer handling nulls." Modern type systems tend to incorporate handling of null values in the type system though. I can recommend looking at Crystal. You will find that the overhead of providing sufficient types is pretty small.