тип вот здесь удобно завернуть эффект

а вот помните сисколы? да это почти эффекты

напоминает монады у лейбница

И сепуление сепулек

http://okmij.org/ftp/Haskell/extensible/tutorial.html начинаю читать и тут такой тон как будто эффекты это скорее замена монадам и ещё речь идёт строго о побочных эффектах так эта либа больше про замену мтл или замену ио?

https://mmhaskell.com/blog/2017/11/20/eff-to-the-rescue

https://mmhaskell.com/blog/2017/11/20/eff-to-the-rescue

хм. классный сайт

хм. классный сайт

не может быть

хотя шрифт мелковат

вроде не на реакте, по крайней мере девтул не определил

nice memes

да не. насрать. это же бложик. я про контент + отступы/заголовки/цвет nov 20

и мол нельзя в массив добавить элемент, тега которого нет в белом списке

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

классная диагностика ошибок

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

Пора делать стартап

Очевидно же

на самом деле как-то не кажется что это сильнее трюков с фантомными типами

так тут фантомный тип и используется. Просто еще и тайп-левел массив и тайп-левел функция проверки нахождения фантомного типа в этом массиве

https://github.com/paf31/purescript-safely

https://github.com/paf31/purescript-safely

http://functorial.com/stack-safety-for-free/index.pdf

не, там по примерам все видно

https://qiita.com/kimagure/items/0c2712d5a417c1671e6d

https://medium.com/twelve-days-of-monad/day-10-eff-extensible-effects-5e26f101a943

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

Карманы

С новым годом

осталось уснуть

Что это за карманы

Как увидеть развиденное

это гульфик

https://t.co/65iqVcKGNO

@ZeroBias решишь?

))

да вроде локализованный форсапдейт не так уж криминально

там дальше про то, что sCU ломает его

второе ломает

с рефом-то вроде все ок

@ZeroBias решишь?

Он чет упоротый как обычно

@ZeroBias решишь?

Ща прикину))

Хочется изобрести АДТ для реакт компоненов Comp.of(Component).map(HOC1).map(HOC2)

может есть чего на эту тему, с выводом типов, хоть каким-нибудь

Хочется изобрести АДТ для реакт компоненов Comp.of(Component).map(HOC1).map(HOC2)

да) это и так будет работать) HOC же функция и ее можно заставить работать

типы

у меня подобной каши уже тонны )

HKT gcanti увезло в дебри

так , что я в 3 часа ночи не понял как в них оказался и какой тип откуда я вычисляю

Хочется изобрести АДТ для реакт компоненов Comp.of(Component).map(HOC1).map(HOC2)

Я тебе даже больше скажу, можно даже гораздо проще всё это делать

Как?

Сейчас пример @goodmind допишу

Мне просто даже в онлайн песочнице без стрим-компонентов уже грустно)

не понимаю, что такое стрим компоненты

props(SettingsView) .isNil('settings', EmptyView) // тайп чекер проверяет, что сеттингс есть и делает это поле опциональным .connectProp('settings', (props: {id: string}) => settingsLens....) // тайпчеккер проверяет что settings есть, омитит его в возвращаемом компоненте и прибавляет к пропсам id

вот таких "билдеров" у меня очень много, не могу додумать до конца - как их упростить. Внутренняя реализация и них мутная, порой от 3-4-х дженериков

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

только на входе и выходе

@goodmind @shammasov https://codesandbox.io/s/xr2n0oykyo?module=%2Fsolution.js

Ну в LiveTime можно передать что угодно

ты передаёшь из LiveTime все пропсы в Component

что подразумевает - LiveTimeProps extends ComponentProps

не понимаю как это поможет тайпчекингу и чем это проще map, chain апи )

что подразумевает - LiveTimeProps extends ComponentProps

Сфигаль?

Это вообще не обязательное условие

...prop

ERROR: S client not available

{...props}

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

И что?

Давай я уберу эту строчку и решение не поменяется?

в соседнем файле, как я юзнаю что LiveTime требует указать time ?

пока тут всё в одном месте и просто

const LiveTime: React.ComponentType<{ time: string}> нет ты щас серьезно?))

серьёзно

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

А, стоп, лол, я то думал ты про Jss компонент

Здесь вообще ничего не нужно писать, все типы выводятся самостоятельно

LiveTime: React.Component<any>

Вообще componentFromStream и mapPropsStream в выводе типов на две головы выше всх остальных методов рекомпоза

LiveTime: React.Component<any>

Слушай, я не буду тебя уговаривать) Не хочешь - не пробуй

=) ищу варианты

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

ownerPropsToChildProps: (props$: Observable<object>) => Observable<object>,

окей, в этом хоке выводить всё просто, вопрос чуть по другому задавал )

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

defaultProps + ещё что-то, после компоуза - принимают любой компонент

compose(defaultProps, .......)(AnyShit)

или aHoc(bHoc(cHoc

Ну мне сложно тебе тут что-то посоветовать потому что у тебя как я понимаю тайпскрипт

Но я искренне болею за всех тайпскриптеров

флоу тоже валился, ну месяца 2 назад не вывозил мою тему

Два месяца назад я уже стримы компонентов лепил)

Кстати достаточно вчитаться в типы рекомпоза чтобы догадаться что там не так и что нужно поправить (а так же почему автор этого не может)

читал его флоу комменты, это не могу, тут прошу помощи )

автор (а точнее мейнтейнер) есть в соседних чатах

о, и в этом тоже

Да мне в принципе нечего ему сообщить, что бы он не знал) Я всё это говорил к тому, что автор не может себе позволить описать стрим-методы с конкретным обсерваблом

Ввиду чего там стоит any и пояснение куда копать В итоге, с допущением что мы не используем с рекомпозом триллион либ для стримов, можно просто вызвать setObservableConfig и вписать в методы обсерваблы библиотеки твоего проекта