Que tipo de sistema de tipagem é utilizado na linguagem Dart?

В языке Dart используется статическая типизация с возможностью вывода типов (type inference). Это значит, что типы переменных проверяются во время компиляции, что помогает ловить ошибки на раннем этапе. При этом Dart поддерживает как явное указание типов, так и их автоматическое определение компилятором.

Например:

int a = 5; // явное указание типа
var b = 'hello'; // тип String выведен автоматически