The trailing comma idea seems perfect to me. We need a cake-and-eat-it-too solution, where stack traces are still short but we can see type instability easily. Array{Int,} contains just as much information as Array{Int,N} where N with only one character added. We could even have Array{,}, and SomeType{Int,,,,,,} ? Those commas communicate a lot using only one character.
7 Likes