ST
динамически проверяешь
это уже не «на этапе компиляции»
Size: a a a
2020 May 08
AR
это уже не «на этапе компиляции»
ну конечно
AR
статическая типизация вообще лоховская тема )
VL
Скажем так, если выбрать между TS и JS, то выбор очевиден
VL
Но благо выбор сильно больше
ST
Как раз any со всеми дружит
функция возвращает any, а засунуть надо в функцию, принимающую int — будет дружить?
VL
функция возвращает any, а засунуть надо в функцию, принимающую int — будет дружить?
Да
VL
Это же легко проверить
VL
Открываешь VS code, и пишешь js в файле с .ts
VL
Codesandbox!! Все он Лайн
AC
и как оно работает, если у меня есть одна функция, обмазанная требованиями по типам, а всё остальное вокруг произвольной формы?
Там есть коэрс- если в объекте поля и типы полей совпадают - то все ок
ST
мой вопрос про gradual typing именно в контексте проверки программы на этапе компиляции
VL
На этапе компиляции в TS типы проверится первым шагом; на самом деле благодаря language server, у тебя подсказки в IDE
VL
Без компиляции всякой
VL
В смысле, vs code постоянно типы сверяет;
VL
статическая типизация вообще лоховская тема )
На этом строится статья оригинальная на хабре
VL
Мол, без стат. типизации будешь писать много тестов и вообще прототипы
AR
Там есть коэрс- если в объекте поля и типы полей совпадают - то все ок
нет. во-первых, это не coerce, а structural typing называется, во вторых, если тебе извне приходит не типизированный объект, он типа any, который нужно динамически проверить на соответствие какому-то другому типу чтобы передать дальше в типизированную программу
ST
у меня простой вопрос
функция f1 — описана как int->int и реализована как return f2(x), про которую ничего не описано
будет ли ts как-то ругаться?
функция f1 — описана как int->int и реализована как return f2(x), про которую ничего не описано
будет ли ts как-то ругаться?
AR
у меня простой вопрос
функция f1 — описана как int->int и реализована как return f2(x), про которую ничего не описано
будет ли ts как-то ругаться?
функция f1 — описана как int->int и реализована как return f2(x), про которую ничего не описано
будет ли ts как-то ругаться?
да, при дефолтных настройках