То есть м б с точки зрения type system это не должно быть ошибкой

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

Да ничем

Скорее то означает что плюс вообще не должен проверяться

Кроме символов

не очень понял, честно говоря, в каком смысле "+" не должен проверяться?

недавно, кстати, в tslint завезли возможность писать проверки на основе информации о типах это открывает новые возможности

это custom rules или что-то другое?

не очень понял, честно говоря, в каком смысле "+" не должен проверяться?

В том плане, что это допускается рантаймом

мне нравится как flow-typed сам добавляет стабы, + первое (на самом деле второе) впечатление, что flow (в инкрементальном режиме) работает быстрее ts

ну flow все таки нейтив код

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

ха в жс много всего допускается рантаймом

какбе что-то из этого флоу ограничивает

так что странная отмаза

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

However, it is a fairly common JavaScript idiom to produce a string by combining a string and a number with the binary operator +, so Flow accepts it. ((100 + "%") : string);

ну они типа считают что руками указать тустринг дороже чем эксплицитно лол

(бтв при минификации это действительно имеет значение)

вообще давно пора перестать верить что флоу значительно лучше тс. он так же позволяет всякую хуйню писать

а иногда еще и заставляет

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

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

согласен, но обычно ты не хочешь null + number | undefined + number

Ну это то да

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

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

можешь

что угодно + символ -- ошибка

а еще бывает строгая типизация

что угодно + символ -- ошибка

Ну с частными случаями я согласен, это их косяк

что угодно + строка (кроме символа) — строка

поэтому можно научить анализатор убирать .toString() для минификации

но вообще там и так в рантайм хуйни добавляется же

soundness

что угодно + строка (кроме символа) — строка

А с числом так уже не прокатит

с числом и чем?

тем, что скастится в строку лол?

с числом и чем?

Любым объектом, допустим экземпляром какого-то неизвестного пока класса

тем, что скастится в строку лол?

С тем, что не скастится

А может корректно преобразоваться в число

это типа если тустринг заоверрайдить?

а, [симбол.тупримитив]?

вэльюоф?

для примитивов можно все учесть

для переменных — другой разговор

но если у тебя переменная имеет тип, то где же саунднесс оф флоу?

В ПИЗДЕ

fin.

Soundness это отсутствие ошибок в рантайме

а, [симбол.тупримитив]?

Да, это

Запрещать или не запрещать хуету из спеки - это отдельный вопрос

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

лол

не интересно

флоу дно

тс тоже, но он более адекватный

Да ты просто не дорос

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

На этот вопрос есть конкретный ответ

флоу дно

вот он

Нет, есть примеры ран тайм ошибок, которые будут, если это разрешить

Но для тс это норма, поэтому тебе наверно это ок

то есть примеров тайп коершн ошибок нет?)

Нет

Кроме символов

и кроме овер9000 других $FlowFixMe

нужен саунд го в дарт

ERROR: S client not available

нужен дополнительный уровень гарантии правильной работы жс го в тс

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

Лол, ты вообще дарт видел?

не очень хочется честно говоря

Такое же говно как тс

До саунд там как до луны

а чо там про стронг мод, который в жс хотели?

Я не помню что там было, похоронили давно

так недавно опять заговорили

Без статической типизации все равно не интересно

что там тогда Егоров с командой снова пилит?

Дарт

похоронили в жс, а в дарт вот хотят вроде как

короче. есть элм хуелм, ghcjs

ризон хуизон

А, ну хз. Я мельком видел слайды

а флоу говнище какое-то позволяет и сам не работает как надо

тс хотя бы работает, хотя иногда просит повториться и указать что-то дополнительно

Да пользуйся своим им на здоровье, че привязался то

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

каждый день наследую собак от животных

Большинство людей не способны понять что такое ковариантность, да

Они могут спокойно на тс писать

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

Тс это для быдла

И популярен, естественно

флоу для быдла

только идрис и агда

веб для тех, кто не осилил натив

эвент лупы для геев