Vlad Sobenko
Ещё есть такой аргумент, что типизация может задавать архитектуру, не давать делать факапы.
Интересно было бы посмотреть, почитать код обоих проектов.
Да, если типизация строгая. Я так проекты на рескрипте пишу (уже упоминал - invalid state is unrepresentable)