Size: a a a

Elm Lang сообщество разработчиков

2017 April 22

at

andrei tshurotshkin! 🎄 in Elm Lang сообщество разработчиков
А flow?
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
К тому же TS, это gradual typing, который просто не работает - нигде не работает
источник

MK

Mikhail Korepanov in Elm Lang сообщество разработчиков
в ML у тебя нет необходимости писать типы для всего, а в ts/flow есть
источник

V

Vadim in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
К тому же TS, это gradual typing, который просто не работает - нигде не работает
Не понял. В чем не работает?
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Да блин, причем здесь вывод типов то? (это про не нужно писать типы)
источник

MK

Mikhail Korepanov in Elm Lang сообщество разработчиков
ну это +- скорость )
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Думаешь всё равно дольше, чем пишешь
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Vadim
Не понял. В чем не работает?
gradual typing работает ровно до того места, где забыли указать тип. А значит - никаких гарантий, а сл-но толку от такой типизации никакого
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
flow на том же уровне находится, что и TypeScript - оба про типизацию жаваскрипта, система типов которого бедна
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Простой пример: null safety гарантируется в Elm - саму сущность "null" даже нельзя выразить в синтаксисе языка, не что что получить в результате какого-то вычисления. А в TS/Flow null safety не гарантируется никак
источник

at

andrei tshurotshkin! 🎄 in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
Простой пример: null safety гарантируется в Elm - саму сущность "null" даже нельзя выразить в синтаксисе языка, не что что получить в результате какого-то вычисления. А в TS/Flow null safety не гарантируется никак
но в флоу по дефолту не nullable типы
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
и это нельзя обойти, совсем-совсем? и это работает для всех когда-либо написанных либ?
источник

at

andrei tshurotshkin! 🎄 in Elm Lang сообщество разработчиков
обойти можно) юзая нуллабл типы
источник

V

Vadim in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
gradual typing работает ровно до того места, где забыли указать тип. А значит - никаких гарантий, а сл-но толку от такой типизации никакого
У меня это жестко выставлено в tslint. Не указывать тип просто запрещено
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
И для всех либ указаны типы и указаны правильно и гарантируются?
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Т.е. никогда и нигде вместо строки не вернется undefined? Даже если я десериализую JSON?
источник

V

Vadim in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
Простой пример: null safety гарантируется в Elm - саму сущность "null" даже нельзя выразить в синтаксисе языка, не что что получить в результате какого-то вычисления. А в TS/Flow null safety не гарантируется никак
Это вы отстали ) Со второй версии идет контроль того что это nullable тип или нет
источник

V

Vadim in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
И для всех либ указаны типы и указаны правильно и гарантируются?
С тайпингами сторонних либ могут быть проблемы да. Но все популярные либы имеют довольно подробные тайпинги
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
популярные != все и всегда :)
источник

V

Vadim in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
Т.е. никогда и нигде вместо строки не вернется undefined? Даже если я десериализую JSON?
Если подробно описан тайпинг json, то нет проблем
источник