Здравствуйте, νsb, Вы писали:

νsb>Пришла тут в голову забавная на мой взгляд идея. Берём динамически типизированный язык вроде жаваскрипта. Пишем код. Пишем тесты. Прогоняем тесты. И вот тут запоминаются все типы, которые приходили и уходили в функцию. После этого функцию нельзя вызывать с другими типами. Будет ошибка компиляции.

νsb>Я немного сумбурно это расписал, но постарался выразить главную идею. Типы объявляются опосредованно, через тесты.

νsb>Как вам такая идея — взлетит?
Лучше всего сделать кодогенерацию на TS. Вернее заглушки, которые внутри вызывают метод JS

Здравствуйте, νsb, Вы писали:

Лучше всего сделать кодогенерацию на TS. Вернее заглушки, которые внутри вызывают метод JS