[kobezzza]

а там где я сомневаюсь делать динамическую проверку?

Нах она не нужна. От системы типов лично я жду стат анализ на этапе сборки и автокомплит в ИДЕ. Но мне кажется ты недооцениваешь задачу