в смысле, срать в консоль в рантайме?

Ты понимаешь разницу между компиляцией и рантаймом?

Ты понимаешь разницу между компиляцией и рантаймом?

я да, а ты?

в смысле, срать в консоль в рантайме?

Ты уверен, что понимаешь смысл статической типизации?

Парсинг javascript кода это не рантайм javascript. Если под рантаймом с натяжкой иметь ввиду сам браузер, что он дескать запущен и только в консоль может что-то писать, то как бы да. Как и сейчас, я могу написать x = o o o o o и браузер справедливо скажет, парень это не js код, тут ошибка синтаксиса

Ты уверен, что понимаешь смысл статической типизации?

да, статическая типизация нужна на моменте компиляции, в том же C++ например никакие типы не едут в бинарник, просто падает компиляция

Ты уверен, что понимаешь смысл статической типизации?

Да, статическая типизация это проверка типов на стадии анализа кода, до непосредственного его запуска

да, статическая типизация нужна на моменте компиляции, в том же C++ например никакие типы не едут в бинарник, просто падает компиляция

Так, и?

Да, статическая типизация это проверка типов на стадии анализа кода, до непосредственного его запуска

вслучае с ЖС читай парсинг заместо компиляции

Что именно вообще смущает?

вслучае с ЖС читай парсинг заместо компиляции

Да

и все встанет на место

Это ничем не отличается от ошибок синтаксиса Ошибка синтаксиса упадет на стадии парсинга, а ошибка рантайма - тогда, когда она случится в динамике

Так, и?

то что в случае с js проверка будет происходить не у разработчика (ну и у него тоже) а в рантайме у конечного пользователя

ЯСНО

Закругляемся

то что в случае с js проверка будет происходить не у разработчика (ну и у него тоже) а в рантайме у конечного пользователя

Но и ошибки синтаксиса ТОЖЕ происходят в рантайме у конечного пользователя!

Но тем не менее ошибки синтаксиса НЕ ошибки рантайма JS

Это рантайм браузера а не JS

я так понимаю речь о том, что ты не узнаешь об ошибке, пока не задеплоишься, но для этого есть jslint

я так понимаю речь о том, что ты не узнаешь об ошибке, пока не задеплоишься, но для этого есть jslint

Или пока не откроешь свой localhost:3000 или какой там локальный адрес для разработки

Но jslint (eslint) конечно правильнее

Или пока не откроешь свой localhost:3000 или какой там локальный адрес для разработки

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

с сопоставлением типов он, наверняка, справится)

с сопоставлением типов он, наверняка, справится)

будет обязан, если заявит поддержку стандарта с статической типизацией :)

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

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

Мне просто интересно, а ошибки синтаксиса ты тоже называешь ошибками рантайма?

момент истины

Мне просто интересно, а ошибки синтаксиса ты тоже называешь ошибками рантайма?

серьезно? а что ошибки синтаксиса не в рантайме эксепшены кидают?

Ты издеваешься сейчас или серьезно?

у тебя есть текстовый файл со скриптом, пока браузер не начнет его исполнять никто об ошибке синтаксиса не узнает

Ну окей, ты можешь называть ошибки синтаксиса ошибками рантайма JS, но это все равно не меняет ситуацию с статической типизацией как сейчас обрабатываются ошибки синтаксиса, так и будут обрабатываться ошибки типов

а исполнение браузером это уже рантайм

у тебя есть текстовый файл со скриптом, пока браузер не начнет его исполнять никто об ошибке синтаксиса не узнает

И причем тут рантайм JS?

Рантайм браузера

Не рантайм JS :)

Рантайм браузера

с чего вдруг, может у меня v8 отдельно? или нода, какой вообще рантайм браузера

с чего вдруг, может у меня v8 отдельно? или нода, какой вообще рантайм браузера

и рантайм v8 это не рантайм js

все не рантайм js кроме рантайма js

и рантайм js наступает только после парсинга javascript кода

демагогией занимаешься

нет

Ты делаешь подмену понятий

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

И эти типы не будут динамическими, потому что нельзя будет на ходу менять тип переменной

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

не надо коверкать, типы в js есть и так

Рантаймные - да

динамические

я спрашивал про статику

это не те типы о которых мы говорим

я спрашивал про статику

вот именно

Тебе нужно понять разницу между стадией подготовки кода к запуску и той стадией когда код непосредственно исполняется

Типы, которые можно задавать и менять на стадии исполнения - динамические, они сейчас есть

Те типы которые можно задать на стадии до исполнения - статические, и их в стандарте еще нет

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

проехали, мне уже не интересно

Рантаймом называют только стадию когда запускается код

слишком долго

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

только потому, что в js есть global, и по стандарту переменная может появиться в global в рантайме это не статическая ошибка

это действительно ошибка рантайма, что переменной с таким именем сейчас нет в global

ну я о том и говорю)

ну там сыр бор пошел когда я сказал что комитет введет типы в синтаксис

типа как он сможет

да легко)

у кого есть айфон 7?)

но есть все же проблема

все новое, что появляется, можно не использовать

и тогда никакой транспайлер не нужен

так так?

ввести может и введет, только ни flow ни ts это и близко не станет

а с типами как это будет работать

ввести может и введет, только ни flow ни ts это и близко не станет

я утверждаю что комитет пойдет по пути flow

типа, хошь используй, не хошь - ну и хрен с тобой?

Есть у кого предположения почему этот проклятый адрес бар прыгает? Айфон 7, хром

я утверждаю что комитет пойдет по пути flow

но это конечно только мое личное восприятие будущего

типа, хошь используй, не хошь - ну и хрен с тобой?

Ну и сейчас в flow и TS типы опциональны

Их можно не указывать, тогда будет обычный js

обратная совместимость, вот это все

потому что в рантайме их и так нет

код транспилится в обычный жс без типов энивей

Типы — это симулякр