[ajanuary]

C# is an example of a language that decided that including definite assignment analysis into the language spec was worth the tradeoff.