Size: a a a

2020 May 09

SP

Stanislav Popov in rust_offtopic
Emmanuel Goldstein
А это тайпчекинг
ну там подмена была в другом. статика это когда известны типы до компиляции, тоесть в компайлтайме. и если ты отрицаешь что нужно компилироваться то и компайлтайма у тебя нет. это довольно бредовый и подлый был срач, в духе питоняш
источник

EG

Emmanuel Goldstein in rust_offtopic
Stanislav Popov
ну там подмена была в другом. статика это когда известны типы до компиляции, тоесть в компайлтайме. и если ты отрицаешь что нужно компилироваться то и компайлтайма у тебя нет. это довольно бредовый и подлый был срач, в духе питоняш
Бля, да ты заебал, у слов есть значения.
Это не компиляция, это тайпчекинг.
источник

EG

Emmanuel Goldstein in rust_offtopic
Компиляция — это трансляция кода на языке X в машинный код.
Окей, в более общем значении — в код на любом языке Y.
источник

SP

Stanislav Popov in rust_offtopic
Emmanuel Goldstein
Бля, да ты заебал, у слов есть значения.
Это не компиляция, это тайпчекинг.
ага а потом они говорят в рантайме тоже тайпчекинг
источник

EG

Emmanuel Goldstein in rust_offtopic
У TypeScript, например, компиляция, потому что она переводит код на TypeScript в код на JS
источник

KR

Kai Ren in rust_offtopic
Emmanuel Goldstein
Отдельно.
Ты отдельно запускаешь mypy, и потом отдельно код.
Ну то есть этап проверки всё же есть, просто он не обязательный по умолчанию, но может быть обязательный на CI 🙃
Видишь, тут можно быстро скатиться в демагогию. Ибо всё смешано. ИМХО не за типы/теги надо говорить, а за наличие статического тайпчека и/или средств верификации. Чем вышеописанный mypy и есть.
источник

EG

Emmanuel Goldstein in rust_offtopic
А у mypy — тайпчекинг/линтинг
источник

SP

Stanislav Popov in rust_offtopic
он не в компайлтайме происходит?
источник

EG

Emmanuel Goldstein in rust_offtopic
Stanislav Popov
он не в компайлтайме происходит?
Нет, потому что для compile-тайма требуется compile, а этого процесса у питона нет.
источник

SP

Stanislav Popov in rust_offtopic
тогда когда?
источник

EG

Emmanuel Goldstein in rust_offtopic
В линтере.
источник

EG

Emmanuel Goldstein in rust_offtopic
Разница существенная — ты можешь запустить код на питоне не тайпчекая, но не можешь код на тайпскрипте
источник

SP

Stanislav Popov in rust_offtopic
Emmanuel Goldstein
Разница существенная — ты можешь запустить код на питоне не тайпчекая, но не можешь код на тайпскрипте
(по секрету скажу что можешь)
источник

EG

Emmanuel Goldstein in rust_offtopic
Stanislav Popov
(по секрету скажу что можешь)
Каким образом? В синтаксисе JS нет аннотаций, их надо срезать, чтобы запустить.
источник

EG

Emmanuel Goldstein in rust_offtopic
Если у тайпскрипта есть опция «отрезать аннотации, но не тайпчекать», то это предельно тупо, ИМХО
источник

SP

Stanislav Popov in rust_offtopic
источник

EG

Emmanuel Goldstein in rust_offtopic
Это предельно тупо, ИМХО.
источник

SP

Stanislav Popov in rust_offtopic
ну бабель умеет точно
источник

EG

Emmanuel Goldstein in rust_offtopic
Но ишшью открыт, кстати
источник

D

Dima in rust_offtopic
пипец какой-то, js ts
источник