мб помнит кто-нибудь)

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

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

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

я думал есть $Something<Props> типо такого для этого случая

а точно есть

setState же

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

ну, в хаскеле факт наличия взаимодействия с внешним миром надо явно задекларировать

> @gusnkt setState же Это вариант

в . net были контракты)

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

> @gusnkt setState же Это вариант

$Shape<State>

во, так должно сработать

неа =(

Там по идее ReactClass надо использовать

Но я чет не могу понять, он вообще работает или нет

React.Component это инстанс класса

ммм, это родитель же, не?

По идее его как типа никогда не надо использовать

<Foo/> это React$Element

это да

но я именно сам класс хочу

Foo это ReactClass

переписал на renderItem, в баню

new Foo это React.Component

тоже верно

https://github.com/facebook/flow/issues/1777

а в чем отличие контракта от интерфейса?

интерфейс - explicit, контракт - implicit. Интерфейс - проделарирован, контракт - подразумевается (может быть проделарирован в документации или еще где но не в коде)

интерфейс - explicit, контракт - implicit. Интерфейс - проделарирован, контракт - подразумевается (может быть проделарирован в документации или еще где но не в коде)

может и в коде

интерфейс - explicit, контракт - implicit. Интерфейс - проделарирован, контракт - подразумевается (может быть проделарирован в документации или еще где но не в коде)

интерфейс тоже может быть implicit

если речь о design by contract (https://en.wikipedia.org/wiki/Design_by_contract), то почему бы и не в коде)

есть даже вещи по типу

https://github.com/codemix/babel-plugin-contracts не пропагандирую, если что, just saying)

Походу в скалу хотят добавить non nullable типы

давно уже периодически хотят

https://github.com/lampepfl/dotty

Вот тут всякие ништяки

нууу там много чего, собственно сами DOT, а non-null уже такое)

Походу в скалу хотят добавить non nullable типы

И если добавят, то все, лучший язык? Ты по моему только это критиковал

» если добавят, то все, лучший язык +1 :)

Ну и то что JVM, но это уже навсегда

В скале можно поучиться интересным подходам

Ну и то что JVM, но это уже навсегда

Там вроде как был проект native scala, без jvm

В скале можно поучиться интересным подходам

Да, крутой язык, где много всего есть

Ну это отдельная тема, наверняка 80% экосистемы не заводится

И стандартная либа отличная

как вы в тс обходите вот этот случай: render(){ const {children, ...other} = this.props; return ( <div {...other}>{children}</div> ); } ?

спред скоро зарелизят

а так _extends() :)

А реально ли как-то в ts типизировать формат строки? Например, указать что это должен быть определенный формат даты, или что строка должна содержать 5 букв?

И реально ли типизировать число, указав минимальное и максимальное значение?

Нет

Интересно, а во flow для этого тоже не придумали что-нибудь?

Нет

https://en.wikipedia.org/wiki/Dependent_type

можно в идрисе, https://www.youtube.com/watch?v=fVBck2Zngjo

В статье полный список

можно в идрисе, https://www.youtube.com/watch?v=fVBck2Zngjo

Лол, хороший совет) Agda тогда уж, чтобы жизнь мёдом не казалась))

Вот когда формат данных во фронте и формат который отдает api отличается например: api отдает: { user_age: 23, is_online: false, } а в сторе у тебя { age: 23, isOnline: false, } то как православно назвать "сервис" который будет заниматься конвертацией структур туда и обратно?

наверное, можно humps назвать https://github.com/domchristie/humps (: вообще, обычно это называют object mapper

нуу такое

я много находил на гитхабе велосипедов, можно выбрать по вкусу, например https://github.com/MichalZalecki/mappet или вот привет из .туе https://github.com/loedeman/AutoMapper/wiki/Getting-started (%

я много находил на гитхабе велосипедов, можно выбрать по вкусу, например https://github.com/MichalZalecki/mappet или вот привет из .туе https://github.com/loedeman/AutoMapper/wiki/Getting-started (%

оо, спасибо!

красота

ERROR: S client not available

Мы руками мапим, причём не просто, а в объекты нужных классов

Мы руками мапим, причём не просто, а в объекты нужных классов

ок, а в каком месте мапите, как функции эти называются? :)

normalize/denormalize вроде

Или transform reverseTransform

Мапим после получения в хттп/ещё где

thx!

@vkurchatkin как объяснить flow, что в типе может не быть некоторых ключей от типа, но не может быть дополнительных?

там было че-то такое {| ... |}

https://github.com/facebook/flow/blob/master/Changelog.md#v0320

первое в new features

https://flowtype.org/try/#0PQKgBAAgZgNg9gdzCYAoVAXAngBwKZgCGYAvGAN4A+qAkAB4BcYAzhgE4CWAdgOYA0qMELBYA-Ey4BXALYAjPG1SUAvgG4gA

это ведь то, что тебе надо, @gusnkt ?

как сделать чтобы flow ругался на number + string, boolean + number, null + number, void + number?

как сделать чтобы flow ругался на number + string, boolean + number, null + number, void + number?

Он этого не делает? :о

Никак

Это сделано специально

почему?

Жизнь боль

Типа JS, тут так можно

особенно печатит number + void

https://github.com/facebook/flow/issues/2452

Меня тоже

Скорее всего исправят в ближайшее время

а кто-нибудь использует https://github.com/flowtype/vim-flow ? у меня опять какие-то вимопроблемы – все зависает, когда сохраняешь файл, но его отпускает когда ctrl+c нажимаешь сейчас сам попробую покопать причем, когда let g:flow#enable = 0 и вызываешь FlowMake руками, то все ок

в ts, если что number + void кидает ошибку + есть tslint который ругается на все остальное

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

В общем, я лично согласен с тем, что это должно быть ошибкой, особенно number + ?number

там мессадж в коммите mroch: arguably, we should error if you do null + number or undefined + number... we can certainly have that debate here or later. but we definitely should not be treating the result as a string like we do now.

да, жопа какая-то, надо отписаться там

Ну с другой стороны, если в рантайме результатом является string, то чё бы его не выводить

В смысле, если конечный тип определяется верно

обычно это не то, чего хотели, т.е. если умышленно такое делать, то можно использовать suppress_comment (/ any?)