少なくとも>>60の例では、
式(n+1)の静的型intが誤解を生んでいるな。
これなら、静的型なんて無視して、動的型Stringのみを見るほうが
プログラムの動作を理解しやすい。

結論：Dartは静的型付言語ではなく、型注釈付き動的型付言語