До речі з типізацією мені здається така сама проблема. До слова про тайпскрипт,
Адже, по-суті, анотація типів потрібна для валідації вхідних і вихідних даних, хіба ні?
Навіщо інлайнити валідацію, до прикладу, аргументів і значень, які повертає функція, метод або конструктор, в тіло цієї самої функції, метода або конструктора, як це роблять з тайпскриптом?
Можна ж для валідації використовувати окрему бібліотеку, як це роблять до прикладу в кложурі з модулем spec
Я уже декілька тижнів над цим думаю, але досі не можу зрозуміти які є реальні переваги в тому, щоб використовувати анотацію типів?