@noelrap @davetron5000 @soulcutter It's not in the least scientific, but I feel that tracking nullability is a bit more useful than tracking types; the two often go together, of course.

Coding in C# this week. It's rubbish at warning when nulls will cause a problem, but I quite like the ?? and ??= operators and ? types.