Alexander
т.е. [A,B,C,D] не в Z A (Z B (Z C D))) а в (Z (Z A B) (Z C D))
Alexander
превращались
кана
хмммм
Alexander
(практического смысла от этого я так понимаю вообще никакого нет
кана
ну это вроде легко, ща)
Влод
ахах
Cheese
Alexander
а, да вроде просто
Anonymous
а чем обосновано?
Alexander
не, чот не так просто
Anonymous
андроид в нонейм конторке на старухе.
по работе пишу на котлине
старуха == старая деревня?
Alexander
уже не соображает голова
кана
а нет никакого IdentityConstraint?
Alexander
?
кана
пока объявил вот так
class IdentityConstraint a where
instance IdentityConstraint a where
Влод
В иос сдк почему-то менее жестокий с жизненным циклом
кана
?
то есть такого констрейнта, который ничего не ограничивает, который можно было использовать как базу для фолда относительно композиции контсрейтов
Alexander
ну я свой C сделал
Alexander
я подозреваю, что где-то есть
Alexander
а стоп
Alexander
()
Alexander
конечно же
Alexander
стоп
Alexander
() это :: Constraint, а не * -> Constraint который скорее всего хочется
кана
Нужен Const, Const () как раз и будет чем нужено
Alexander
да
Влод
Последние побочки должны воспроизвестись: запросы в сеть...
Плюс приплетают сюда и анимации с диалоговыми окнами, хотя очевидно их можно частью стейта который персистишь.
Анимации разделить на конечные (переход между состояниями, который никуда не сохраняешь) и бесконечные которые часть состояния
Anonymous
это вообще безопасно?
Anonymous
типа хттп запросы должны идемпотентными быть?
Anonymous
охх...
Anonymous
страшно жить как
Alex
ну ладно понял. олег который не пишет на русском и с которым никто никогда не общался
помню когда в Генте жил, наткнулся на объявление мол лекция от Олега Киселёва в такой то аудитории универа
Alex
проблема однако была в том что дата лекции - неделю назад :)
Alex
так я и не попал на лекцию Киселева
Artyom
[btw: я снова начал тыкать в чат каждый раз, как вижу новое сообщение, и я не могу себя остановить, поэтому я выйду отсюда. Если вдруг кому-то понадоблюсь, пинганите. cc @qnikst наверно]
Alexander
+
Alexander
кейсы в type families закрых же по очереди матчатся?
Anton
помню когда в Генте жил, наткнулся на объявление мол лекция от Олега Киселёва в такой то аудитории универа
сначала прочитал как Gentoo, потом дошло, что это город во Фландрии
Alexander
я вот тоже сначала так прочитал
Alex
ja, Oost-Vlaanderen
Alexander
кто ещё хочет веселых задачек?
Alexander
и бесполезных
кана
та же или еще появились?
Alexander
еще
кана
с деревом я таки не осилил, даже твое решение не понимаю
Alexander
я тоже
кана
давай
Alexander
у меня оно все время криво сбалансировано
Alexander
так вот задачка
Alexander
есть у вас скажем Arrow a => a b c
Alexander
хочу фунцию amap :: Arrow a => a b c -> a [b] [c]
Alexander
дополнительные констрейнты если вылезут то можно
Влод
типа хттп запросы должны идемпотентными быть?
ну тип пользователь спровоцировал запрос, перевернул экран - запрос отменился и не возобновился.
на самом деле надеюсь я чего-то недопонимаю и кто-нибудь потом мне объяснит, а в текущем понимании это ад какойто
Alexander
менять Arrow на Profunctor тоже можно
кана
кто тут использует VSCode + Haskero?
Зигохистоморфный
hie+vscode
кана
)))
amap :: Profunctor p => p b c -> p [b] [c]
amap = dimap head (const [])
кана
это шутка, я пока думаю
Alexander
=)
Зигохистоморфный
бред какой-то что по типам сошелся
Зигохистоморфный
amap :: Profunctor p => p b c -> p [b] [c]
amap = dimap (\[x] -> x) (:[])
Alexander
почемубы не сойтись
Alexander
о я очень вербозно сделал
Зигохистоморфный
в чем вербозность?
Alexander
многобуков ничего не понятно
кана
я не смотрел, но зигоморф, плиз, кидай в лс решения
кана
не мне
Alexander
так, сейчас ещё на профункторы бы переписать
кана
ну короче, на функциях все легко, нужно переписать как-то на профункторы
map :: (a -> b) -> ([a] -> [b])
map = (flip foldr []) . ((:) .)
кана
полагаю, подход у меня не совсем верный)
Alexander
не знаю я со стрелками совсем по рдругому делал
Зигохистоморфный
Alexander
но там нужно ещё констрейнтов добавить
кана
ну так мап и нужен, только на стрелках
Alexander
что у нас в профункторах вместо >>>?
кана
flip)