вопрос в том настоящий ли я?

вопрос в том настоящий ли я?

не ты ли делал доклад в августе про конкарент хаскель?

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

хм, я видел @qnikst

Pavel я

ну вот

настоящий ли я?

))

вообще очень сложно говорить о том, настоящий ли человек, наверное

откуда удобно добираться до нариты?

оттуда гнде он живет

@cblp_su ты не в курсе где он сейчас преподает?

так выше у меня одна очепятка была

но ищите сами

не ты ли делал доклад в августе про конкарент хаскель?

не всё, цепочка уже дошла до меня, а я тут главный персонаж, так что можно прекратить

не всё, цепочка уже дошла до меня, а я тут главный персонаж, так что можно прекратить

а кто ты, если не секрет?

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

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

какая работа?

андроид в нонейм конторке на старухе. по работе пишу на котлине

да и на свифте тоже пишу. реактивщина на мобилках сплошь императивная.

test3 = applyBoth @ (Z Num (Z Ord Enum)) (sort . fmap succ) [1,5,4] [1.2, 3.3, 0.1] @chshersh так покатит?

Решил короче таким же способом, классная задача

@kana_sama хочешь небольшое продолжение?

тайплевел списки?

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

это слишком легко

а так давай

сначала списки, а потом, чтобы списки генерировали сбалансированное дерево

(я сам ни разу такое не делал)

т.е. [A,B,C,D] не в Z A (Z B (Z C D))) а в (Z (Z A B) (Z C D))

превращались

хмммм

(практического смысла от этого я так понимаю вообще никакого нет

ну это вроде легко, ща)

ахах

@cblp_su ты не в курсе где он сейчас преподает?

не в курсе

а, да вроде просто

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

охх...

а чем обосновано?

не, чот не так просто

андроид в нонейм конторке на старухе. по работе пишу на котлине

старуха == старая деревня?

уже не соображает голова

старуха == старая деревня?

+

а нет никакого IdentityConstraint?

?

пока объявил вот так class IdentityConstraint a where instance IdentityConstraint a where

а чем обосновано?

Последние побочки должны воспроизвестись: запросы в сеть...

В иос сдк почему-то менее жестокий с жизненным циклом

?

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

ну я свой C сделал

я подозреваю, что где-то есть

а стоп

()

конечно же

стоп

() это :: Constraint, а не * -> Constraint который скорее всего хочется

Нужен Const, Const () как раз и будет чем нужено

да

Последние побочки должны воспроизвестись: запросы в сеть...

Плюс приплетают сюда и анимации с диалоговыми окнами, хотя очевидно их можно частью стейта который персистишь. Анимации разделить на конечные (переход между состояниями, который никуда не сохраняешь) и бесконечные которые часть состояния

Последние побочки должны воспроизвестись: запросы в сеть...

нахуя?

это вообще безопасно?

типа хттп запросы должны идемпотентными быть?

охх...

страшно жить как

ну ладно понял. олег который не пишет на русском и с которым никто никогда не общался

помню когда в Генте жил, наткнулся на объявление мол лекция от Олега Киселёва в такой то аудитории универа

проблема однако была в том что дата лекции - неделю назад :)

так я и не попал на лекцию Киселева

[btw: я снова начал тыкать в чат каждый раз, как вижу новое сообщение, и я не могу себя остановить, поэтому я выйду отсюда. Если вдруг кому-то понадоблюсь, пинганите. cc @qnikst наверно]

+

кейсы в type families закрых же по очереди матчатся?

помню когда в Генте жил, наткнулся на объявление мол лекция от Олега Киселёва в такой то аудитории универа

сначала прочитал как Gentoo, потом дошло, что это город во Фландрии

я вот тоже сначала так прочитал

ja, Oost-Vlaanderen

кто ещё хочет веселых задачек?

и бесполезных

та же или еще появились?

еще

с деревом я таки не осилил, даже твое решение не понимаю

я тоже

давай

у меня оно все время криво сбалансировано

так вот задачка

есть у вас скажем Arrow a => a b c

хочу фунцию amap :: Arrow a => a b c -> a [b] [c]

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

типа хттп запросы должны идемпотентными быть?

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

менять Arrow на Profunctor тоже можно

кто тут использует VSCode + Haskero?

hie+vscode

))) amap :: Profunctor p => p b c -> p [b] [c] amap = dimap head (const [])

это шутка, я пока думаю

=)

бред какой-то что по типам сошелся

amap :: Profunctor p => p b c -> p [b] [c] amap = dimap (\[x] -> x) (:[])

почемубы не сойтись

о я очень вербозно сделал

в чем вербозность?

многобуков ничего не понятно