в js нет понятия обязательных аргументов, вы другие фильмов насмотрелись.

И пишешь типы на каждый чих?)

т.е. include: undefined === valid?!

let fn = a => console.log(a); fn(); // undefined

как в строготипизированных языках

знаю. Вопрос в том, что вебпак не пишет ошибку.

как в строготипизированных языках

И говорить, что выбирать TS нужно, потому что "затем", показывает, что вы не особо разбираетесь в теме.

так а где собственно ошибка в первом примере?

Если ты запустишь этот код, то тебе браузер это и скажет.

Вот пример когда ts говорит, что неправильный код правильный.

так он и не говорит, что код не правильный, а пишет ошибку в консоль при выполнении (плагин для вебпака наверняка в консоль сообщит) Вопрос в том, что для чего нужен ts, ведь код то все равно компилится в ваниль.

так он и не говорит, что код не правильный, а пишет ошибку в консоль при выполнении (плагин для вебпака наверняка в консоль сообщит) Вопрос в том, что для чего нужен ts, ведь код то все равно компилится в ваниль.

Это рантайм ошибка. От чего и должен защищать ts, но не защищает.

Во первых очень большое заблуждение что ts вас защитит от всего. Во вторых вы сами ломаете код, когда пишите тип animals явно, typescript в этом случае позволяет вам сделать глупость, причины должны быть вам очевидно почему так можно сделать; ответ: для того что бы заставить работать ваш код на ts, с другим кодом js, с очень запутанным и магическим кодом, и этого говна в open-source огромные горы, а работать надо, собственно именно из-за этого на нем пишет больше людей. В третьих возможно это выключается флагом, я поищу и если найду напишу. const animals: Animal[] = cats; // уберите тип и все заработает.

Я могу быть уверенным, что в чужом коде не будет этого?

вы вообще не можете быть уверены ни в чем. чужой код может как бы всегда возвращать массив строк по описанию интерфейса, а завтра херак и undefined будет.

Какой смысл от статического анализа, если его может кто-то сломать?

Бля чувак, я уверен на 100% flow тоже есть тысячи способов сломать, это ну помоему должно быть ну всем понятно в этом мире js.

Я пока не видел ни одного. И не думаю, что он там есть, потому что знаю как он выводит типы.

а если я prototype поменяю? или определю метод объекта через defineProperty?

Ребят, а разве admin не является ссылкой на user?

Не проверял. Надо глянуть.

ну... как бы ошибка там где её нет https://flow.org/try/#0PQKgBAAgZgNg9gdzCYAoVBjGBDAzrsAQQDsBLAW2xjAG8wBfTHfMAYWwBcwBTADw+7EAJgRIUqtVGGlhy3RAAoAlJJlqwGOMVxwY3AHTwA5goBEcxKaVSZjRpi24uGTrgBcbTgG0AumAC8YF7E3EjsHMoANGAhYZzKPuh6XNgBnhz6AA4ATnAceQCemQYWCADcqOFZufkcRSXySIHYFZiu+lBw2QCi2BgAFgoYAQB8GvqlykpAA

Но это лучше, чем наоборот, верно?)

Взять и что-то запретить только потому что дальше он сам сломается? Хорошее решение... это сарказм?

Что сломается?

То что в коде выше будет один тип, а ниже другой видимо, че ему иначе запрещать то.

Один инструмент пропускает плохой код, а другой не пропускает и плохой, и некоторые варианты хорошего.

Блять мне нужно изменить чертов метод в рантайме, какого хера я не могу это сделать, вы что там сума все посходили.

Если честно, то я бы послал бы переписывать такой код программиста, который это написал.

Это все какое то джуниорство епта, какого хера я не могу сделать обычное присваивание совместимого типа, че ты тут за чушь пишешь что все бля в порядке, ты дурак что ли?

Вы называете это обычным присваиванием?

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

Вы переопределяете прототип подобным образом?

Можете описать ситуацию, когда вы часто так делаете с прототипом.

Ты бы мне лучше объяснил хули это flow обосрался на примере что я придумал из головы за 5 минут.

И как он будет выводить типы из сторонных либ где возможно такой код будет.

Ты бы мне лучше объяснил хули это flow обосрался на примере что я придумал из головы за 5 минут.

Думаю, что дело в https://flow.org/en/docs/lang/nominal-structural/

Чувак я пишу на js! Не нужен мне ваш ООП.