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

kan ran

а все потому, что правое расширение Кана есть обобщение всех возможных continuations

так ето любую монаду можно сделать?

только ту, что continuation

ххм

ContT, Cont, Yoneda, и тд

ххм

?

type Cont r a = Ran (Const r) (Const r) a

type Yoneda f a = Ran Identity f a

type Codensity m a = Ran m m a

type State s a = Ran ((->)s) ((->)s) a

куда бежишь

только ту, что continuation

редакс можно?

Как я и предполагал изначально, push и pull стримы имеют между собой фундаментальные различия

ну идея a -> IO () это одинаково и для пул и для пуш вроде) это я про конзюмер

Я просто думаю вот это — не совпадение)

все в фп не совпадение)

о ноу

а два раза вперед это назад?)

/pidor@SublimeBot

Согласно моей информации, по результатам сегодняшнего розыгрыша пидор дня - Ilia!

?

когда пишешь фп в жс

фрп

point free

pointless

pointsass

стаканомвглаз

pointjss

стаканомвглаз

Это тоже расширение кана?

ста кана

интересно если итератор дуален обзервабл то можно как-то через левое расширение кана выразить итератор

ДУАЛЬНОСТЬ

опять

ДУАЛЬНОСТЬ

без нее никак)

коитератор

интересно если итератор дуален обзервабл то можно как-то через левое расширение кана выразить итератор

Так он же изначально это подразумевает же

ну это да

я про выражение через обобщения расширений кана

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

блять

хуйней занимаетесь

нужны пропсы прокидывать

и пиксели двигать

стакан наполовину полон

а не выражать одну хуйню через другую

стакан наполовину полон

Получается стакан дуален пустоте

и пиксели двигать

давно не двигался пикселями

а не выражать одну хуйню через другую

не выражайся

давно не двигался пикселями

лол

стакан наполовину полон

и ты тут?)

и ты тут?)

с начала времён примерно)

13 млрд лет?

чат настолько изменился, что некоторые могли решить, что это новый чат

вроде из-за меня в том чиле скобки добавились)

рекурсивные расширения схем кана

FRP и джаваскрипт тут продвигали

это еще про штальца либу было

правое расширение глаза

cycle.js чат это

дада

Денис, сайклжс

ФРП!

такие дела

им повезло что тебя тут не было)

кому?)

вам

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

а ты в вебасембли переметнулся?)

ну как переметнулся. в него нельзя переметнуться

если способ указать генерики для функции?

Угораздило?)

f<number>() ?

???

type F<A> = () => A; (f: F<number>)()?

Типа того по ходу

так флоу ВЫВЕДЕТ ТИП

зачем вам генерики вообще

потому что можно

Это как с котом?

а как с ним?

так флоу ВЫВЕДЕТ ТИП

выведет из чего?

из ничего. инь янь

аргументов нет, по контексту не ясно

а как с ним?

— Почему кот лижет яйцв? — Потому что может

а, да

из ничего. инь янь

чистое сознание

без побочных сайд-эффектов ™️

сайд-эффекты <3

едвард-кметты

declare function f<A>(): A const a: number = f()

едвард-кметты

Kmett summoned