Alexander
class (Traversing p, Closed p) => Mapping p where
Зигохистоморфный
это обратная композиция?
Alexander
это нельзя
Зигохистоморфный
https://hackage.haskell.org/package/arrow-list-0.6/docs/Control-Arrow-ArrowList.html
Alexander
map' :: Functor f => p a b -> p (f a) (f b) =)
Alexander
чужие решения тоже
Alexander
да
Alexander
ну так это ж легко
Alexander
а не
Alexander
но должно обобщаться
Alexander
fmap id вместо чего-нить связаного с []
кана
окей, подскажите алгоритм написания кода на стралках и профункторах)
Как я думал - на стрелках нельзя использовать лямбды, значит нужно писать в поинтфри. Значит, можно написать код в поинтфри, а потом тупо заменить композиции на нужные
Alexander
не ругайся в меня такими словами
Зигохистоморфный
ну из линз)
Alexander
так с флипом я не понял
Alexander
x :: p a b, y :: p b c, кого мне флипуть, чтобы их скомбинироватьо?
Alexander
вопрос снят
Alexander
хм.. не снят
Alexander
amap :: (Category p, Strong p, Choice p, Profunctor p) => p a b -> p [a] [b]
amap = make . it . tasty where
Alexander
вот так минимум получилось
кана
слишком сложно для меня
кана
попытался вывести тип того, что написал:
pmap :: (a -> t) -> ghc-prim-0.5.0.0:GHC.Prim.Any (ghc-prim-0.5.0.0:GHC.Prim.Any a) [t]
Alexander
=)
Alexander
со стрелками проще кстати
Alexander
если и профункторами не на ты
Alexander
там больше свойств из-коробки
Зигохистоморфный
Alexander
вылезли откуда-то
Alexander
ну смотри Mapping
Alexander
там Closed, Traversing
Alexander
Traversing это Choice и Strong
Alexander
у меня только Category лишнее
Alexander
и то я его уберу если мне расскажут кого флипнуть надо
Alexander
впрочем с traversing решение инетереснее, чем у меня
Alexander
хм.. Mapping лишее
Alexander
достаточно Traversing у которого Choice и Strong
Alexander
так у меня какая-то чушь с чеккером..
Alexander
но если я спрошу, то я заспойлю решение
кана
если задача написать "распределенное приложение (distributed application)". то нужно написать такое приложение, которое будет работать на большом числе компов и общаться между разными своими инстансами по какому-то протоколу, верно?
кана
в "Параллельном и конкурентном программировании на хаскель" эта тема как-то освещалась?
кана
Да, в оглавлении есть
кана
Внезапно, писать распределенный софт на хаскеле не так сложно, как я думал.
Уже какой раз я говорю фразу типа "Внезапно, делать X на хаскеле не так сложно, как я думал".
Влод
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/haskell-linear-submitted.pdf
tweag где то было такое
Alexander
ну так часть авторов наши и мы реализацию делали
Serghei
Не помню спрашивал ли кто-то тут или нет, так что сори если что. "Любовь и математика. Сердце скрытой реальности" Эдуарда Френкеля читал кто-то? Что скажите? А то я отзывы достаточно противоречивые читаю
Зигохистоморфный
Я видел книгу любовь и числа на английском
Alexander
Не помню спрашивал ли кто-то тут или нет, так что сори если что. "Любовь и математика. Сердце скрытой реальности" Эдуарда Френкеля читал кто-то? Что скажите? А то я отзывы достаточно противоречивые читаю
сужу по отзывам на goodreads и амазоне, я б не стал читать )
Anton
А что самое плохое говорят?
Darwin
Darwin
жестоко
Зигохистоморфный
Лучший наупоп это книги Хоккинга и Пенроуза
Anton
Для Френкеля это неудивительно, в общем-то.
Евгений
Alexander
я про отзывы на скриншоты говорил. Не совсем понял про совок
Leonid 🦇
в shelly test_s кидает исключение если файла нет. ппц.
Alexander
а то!
Leonid 🦇
всё это довольно ужасно.
Alexander
зато не как в го
Alexander
это чтобы ты как в stm писал
Alexander
asum [ test_s ... , another stuff ]
Leonid 🦇
Вот все эти люди которые кричат что FilePath в виде [Char] отстой и берущие крайне неудачную либу system-filepath, они вообще о чём думают?
Andrew
postgresql до 10 версии зарелизился
Alexander
ну в system-filepath вроде единственная либа которая умеет в правильные кодировки для всех OS
Leonid 🦇
Только её даже снойман депрекейтнул
Alexander
её автор депрекейтнул
Alexander
т.к. решил что в base уже все хорошо и кодировки поддерживаются, или какой-то такой блщит
Alexander
api там и в правду не очень
Alexander
но приближение к корректной поддержке осей там хорошее
Зигохистоморфный
video будет? https://fby.by/
Leonid 🦇
Надо форкать и делать апи как в filepath
Leonid 🦇
А ту либу вроде снойман взял в поддержку и бросил
Anonymous
ого там bartosz milewski будет
Alexander
она не snoyman style
Leonid 🦇
судя по сорцам system-filepath могла бы быть значительно шустрее
Alexander
чем она есть?
Anonymous
здесь кто-нибудь может помочь с latex?