Статические переменные и вывод типа

В свободное время я занимаюсь своим собственным языком программирования. Это интерпретированный язык. В настоящее время синтаксис для переменных таков:

%<variable> = <value>

Вот некоторые примеры:

%test = 10
%somevar = "Hello World"

На данный момент вы можете просто объявить как переменную, как показано выше, независимо от типа. Вы даже можете изменить тип через программу, если хотите.

Я никогда не изучал компьютерные науки, поэтому я не знаю плюсов и минусов статической и динамической типизации. Вот мои вопросы:

1. Это быстрее программировать с использованием динамических типов?
2. Есть ли какое-то существенное преимущество в использовании статической типизации?
3. Этот синтаксис хорош для статического языка?
4. Должен ли статически типизированный язык позволять вам изменять тип переменной во время выполнения?
5. Должен ли я разрешить как статическую, так и динамическую типизацию?

Пример синтаксиса:

%somevar int = 10
%another str = "Hello World"

Вот ссылка на мой GitHub, если вам интересно: https://github.com/reedoolang/reedoo