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

(S, A) => S или (S | undefined, A) => S с начальным состоянием

таки попробую сделать в виде классов

Это прикол контравариантного значения

reducer: (state: S, data: A) => S | void При получении стейта его тип должен быть как минимум S, при передаче — как максимум, то есть для того кто отправляет значение в редьюсер ограничения мягче

хм, может таки наоборот, как изначально было?

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

на вход как максимум S, на выход как минимум

хм, может таки наоборот, как изначально было?

Было, но у нас из контекста известно, что фактически эта функция отправляет значение себе на вход)

и в этой сигнатуре она может отдать на вход void (раз выход идет на вход), и при этом не может (так как вход принимает строго S)

Maybe S и вот вам и все)

Не не, тут как раз та ситуация где maybe не катит, тут о другом вопрос

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

собственно я это уже сделал, но мне не понравилось

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

конечные автоматы

https://gist.github.com/kana-sama/b277e630b145ef9d9adbc03a1cb6cc8c

https://github.com/tigercosmos/date2json/blob/master/index.js :D

https://gist.github.com/kana-sama/b277e630b145ef9d9adbc03a1cb6cc8c

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

и в этой сигнатуре она может отдать на вход void (раз выход идет на вход), и при этом не может (так как вход принимает строго S)

type Foo = { a: A, b: B } "Как минимум": { a: A, b: B, c: C } — годится, { a: A } — не годится "Как максимум": { a: A } — годится void — тоже годится { a: A, b: B, c: C } — не годится

да, я понял прекрасно

в редьюсер можно отдавать undefined, я вот к чему

а вернуть undefined он не может

ну блин) прочитайте про join patterns и поймете что весь этот редакс фикция и от недостатка ума

поэтому на вход как максимум стейт (или больше, вход в принципе вообще не ограничен), как минимум андефайнед на выход как минимум стейт

ну блин) прочитайте про join patterns и поймете что весь этот редакс фикция и от недостатка ума

а ты скинь нормальный читаемый материал

Ох уж этот редакс

Придумали люди себе проблемы ни с чего, а теперь страдают

?

ну блин) прочитайте про join patterns и поймете что весь этот редакс фикция и от недостатка ума

в редаксе нет ничего кроме свертки стрима экшонов в стрим результатов свертки подстрима, считаешь свертку недостатком ума?

ну вообще да, она примитивна же

Как максимум на вход означает, что у нас может быть void на входе и это типа безопасно. Но у нас по определению же на входе не void! То есть при взгляде изнутри редьюсера ситуация ровным счётом противоположная — мы полностью уверены что то, что на входе — соответствует сигнатуре

а ты скинь нормальный читаемый материал

https://en.wikipedia.org/wiki/Join-pattern https://baconjs.github.io/api2.html#join-patterns http://www.introtorx.com/content/v1.0.10621.0/12_CombiningSequences.html#AndThenWhen https://github.com/xgrommx/most-reactive-flux/blob/master/app/src/utils.js#L8-L17 https://github.com/xgrommx/react-rx-flux/blob/master/src/rx-extensions.js#L37-L49

Как максимум на вход означает, что у нас может быть void на входе и это типа безопасно. Но у нас по определению же на входе не void! То есть при взгляде изнутри редьюсера ситуация ровным счётом противоположная — мы полностью уверены что то, что на входе — соответствует сигнатуре

таки void

редьюсер может ничего не получить на вход и подставить начальное значение

это удобство, которое мне рушит типизацию

https://en.wikipedia.org/wiki/Join-pattern https://baconjs.github.io/api2.html#join-patterns http://www.introtorx.com/content/v1.0.10621.0/12_CombiningSequences.html#AndThenWhen https://github.com/xgrommx/most-reactive-flux/blob/master/app/src/utils.js#L8-L17 https://github.com/xgrommx/react-rx-flux/blob/master/src/rx-extensions.js#L37-L49

спасибо, когда я получают кучу ссылок, я добавляю их в другую кучу ссылок)

спасибо, когда я получают кучу ссылок, я добавляю их в другую кучу ссылок)

прям как я)

так

ты под join patterns понимаешь обычный аппликативный lift?

собственно в редаксе все это есть

для селекторов

ты под join patterns понимаешь обычный аппликативный lift?

Join patterns are a generalization of the zip function. While zip synchronizes events from multiple streams pairwse, join patterns allow for implementation of more advanced synchronization patterns

редьюсер может ничего не получить на вход и подставить начальное значение

Вот. А теперь следи за руками — допустим, у нас уже есть редьюсер, который берёт на себя эти обязательства (подставить дефлот в аргумент) и обеспечивает нужные по условию гарантии (возвращает по определению корректный тип) Тогда все редьюсеры, которые можно вложить в него, становятся обладателями контракта с кучей прав и отсутствием обязанностей)

Вот. А теперь следи за руками — допустим, у нас уже есть редьюсер, который берёт на себя эти обязательства (подставить дефлот в аргумент) и обеспечивает нужные по условию гарантии (возвращает по определению корректный тип) Тогда все редьюсеры, которые можно вложить в него, становятся обладателями контракта с кучей прав и отсутствием обязанностей)

да, ровно так я и сделал. И если вложенными все хорошо, то внешний редьюсер таки все равно имеет сигнатуру S | void => S

Он не внешний, он внутренний ?

это зависит

в моем кейсе он одновременно и такой, и такой)

Бивариантность, да ?

а именно, изначально он внутренний, все редьюсеры СРАЗУ вызывают следующий, пока не дойдем до него, он отдает уже ГАРАНТИРОВАННЫЙ стейт, и мы поднимаемся по стеку обратно наверх, гарантированно имея стейт и отдавая стейт

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

И я кстати был шокирован, насколько недалеко от сюда до join patterns, там буквально ещё несколько таких финтов с выходом за рамки достаточно для эффективной имплементации

а именно, изначально он внутренний, все редьюсеры СРАЗУ вызывают следующий, пока не дойдем до него, он отдает уже ГАРАНТИРОВАННЫЙ стейт, и мы поднимаемся по стеку обратно наверх, гарантированно имея стейт и отдавая стейт

value propagation, да. Source, Sink, источников мало, истоков много, при эммите новых данных значение всплывает к каждому стоку для данных

Редакс находится в довольно занятном положении — будучи достаточно простым чтобы умещаться в один твит и заслужить хейт зиги, он как-то ловко балансирует на границе за которой начинается реально суровый CS) Причём начинается неожиданно резко)

мне надоело, что в flow нет универсальной квантификации ок: forall a. a -> a const x: <T>(x: T) => T не ок: type F<T> = (x: T) => T; const x: F<T> - ошибка, откуда взялся T

причем сделать <T>(x: T) в F нельзя, T потом нужно связывать с другими значениями

F<T> = T => T Для любого T есть один и только один тип T => T, такой, что F = <T>T => T Существует такая функция, что для любого T

ну вот я и хочу x: forall T. F<T>, что изоморфно первому

а в флоу так нельзя

и нужно писать <T>() => F<T>

???

?

type Tagged<Tag> = any type Str = Tagged<string> type Num = Tagged<number>

Это вариант через фантомы, можно как то выкрутиться. Но forall конечно по прежнему нет ?

Плюс existential type

опять монады

/pidor@SublimeBot

Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!

/pidor@SublimeBot

Сейчас поколдуем...

Военный спутник запущен, коды доступа внутри...

Высокий приоритет мобильному юниту.

Кто бы мог подумать, но пидор дня - ilia

/shipper@shippering_bot

Никто этого не ожидал

Даже подумать никто не мог

Что эти ребята отношаются

Вы посмотрите на них: @justnoxx + @nevmmv = ♥

так не работает

еще во флоу нельзя делать дефолтные значения для генериков функций

можно же?

в тс можно, в flow ругается на знак равно

может пора спать

Я уже спал на этой неделе

Я уже спал на этой неделе

норм)

От пидора дня до applicative join patterns и обратно ?‍♂️

/pidorstats@SublimeBot

Топ-10 пидоров за текущий год: 1. Dmitry_Kovbasa — 2 раз(а) 2. Ilia — 2 раз(а) 3. defaultvoice — 1 раз(а) 4. Adsumus — 1 раз(а) 5. jqueryisamonad — 1 раз(а) 6. kelin2025 — 1 раз(а) 7. goodmind — 1 раз(а) 8. tetris0k — 1 раз(а) 9. vlastachu — 1 раз(а) 10. reeei — 1 раз(а) Всего участников — 20

записки психа

обзервабл это правое расширение кана

import Data.Functor.Kan.Ran newtype ConstT r f a = ConstT { runConstT :: f r } newtype ContT' r m a = ContT' { runContT' :: Ran (ConstT r m) (ConstT r m) a } type Observer a = a -> IO () type Observable a = ContT' () IO a makeObservable :: (Observer a -> IO ()) -> Observable a makeObservable f = ContT' $ Ran $ \k -> ConstT (f (runConstT . k)) subscribe :: Observable a -> Observer a -> IO () subscribe r f = runConstT (runRan (runContT' r) (ConstT . f)) obs = makeObservable $ \observer -> do observer 1 observer 2 main :: IO () main = subscribe obs print

а левое?

я еще не познал его)

ПРАВОЕ РАСШИРЕНИЕ 0/ 0/ 0/ КАНА

кана?

Кана