не мне

так, сейчас ещё на профункторы бы переписать

ну короче, на функциях все легко, нужно переписать как-то на профункторы map :: (a -> b) -> ([a] -> [b]) map = (flip foldr []) . ((:) .)

полагаю, подход у меня не совсем верный)

не знаю я со стрелками совсем по рдругому делал

ну короче, на функциях все легко, нужно переписать как-то на профункторы map :: (a -> b) -> ([a] -> [b]) map = (flip foldr []) . ((:) .)

это же обычный мап?

но там нужно ещё констрейнтов добавить

ну так мап и нужен, только на стрелках

что у нас в профункторах вместо >>>?

flip)

class (Traversing p, Closed p) => Mapping p where

это обратная композиция?

это нельзя

https://hackage.haskell.org/package/arrow-list-0.6/docs/Control-Arrow-ArrowList.html

map' :: Functor f => p a b -> p (f a) (f b) =)

чужие решения тоже

map' :: Functor f => p a b -> p (f a) (f b) =)

обобщенно до функтора?

да

ну так это ж легко

а не

но должно обобщаться

fmap id вместо чего-нить связаного с []

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

map' :: Functor f => p a b -> p (f a) (f b) =)

это же дистрибутив?

не ругайся в меня такими словами

ну из линз)

так с флипом я не понял

x :: p a b, y :: p b c, кого мне флипуть, чтобы их скомбинироватьо?

вопрос снят

хм.. не снят

amap :: (Category p, Strong p, Choice p, Profunctor p) => p a b -> p [a] [b] amap = make . it . tasty where

вот так минимум получилось

слишком сложно для меня

попытался вывести тип того, что написал: pmap :: (a -> t) -> ghc-prim-0.5.0.0:GHC.Prim.Any (ghc-prim-0.5.0.0:GHC.Prim.Any a) [t]

=)

со стрелками проще кстати

если и профункторами не на ты

там больше свойств из-коробки

amap :: (Category p, Strong p, Choice p, Profunctor p) => p a b -> p [a] [b] amap = make . it . tasty where

откуда все эти операторы?

вылезли откуда-то

ну смотри Mapping

там Closed, Traversing

Traversing это Choice и Strong

у меня только Category лишнее

и то я его уберу если мне расскажут кого флипнуть надо

впрочем с traversing решение инетереснее, чем у меня

хм.. Mapping лишее

достаточно Traversing у которого Choice и Strong

так у меня какая-то чушь с чеккером..

но если я спрошу, то я заспойлю решение

если задача написать "распределенное приложение (distributed application)". то нужно написать такое приложение, которое будет работать на большом числе компов и общаться между разными своими инстансами по какому-то протоколу, верно?

в "Параллельном и конкурентном программировании на хаскель" эта тема как-то освещалась?

Да, в оглавлении есть

Внезапно, писать распределенный софт на хаскеле не так сложно, как я думал. Уже какой раз я говорю фразу типа "Внезапно, делать X на хаскеле не так сложно, как я думал".

https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/haskell-linear-submitted.pdf tweag где то было такое

ну так часть авторов наши и мы реализацию делали

Не помню спрашивал ли кто-то тут или нет, так что сори если что. "Любовь и математика. Сердце скрытой реальности" Эдуарда Френкеля читал кто-то? Что скажите? А то я отзывы достаточно противоречивые читаю

Я видел книгу любовь и числа на английском

Не помню спрашивал ли кто-то тут или нет, так что сори если что. "Любовь и математика. Сердце скрытой реальности" Эдуарда Френкеля читал кто-то? Что скажите? А то я отзывы достаточно противоречивые читаю

сужу по отзывам на goodreads и амазоне, я б не стал читать )

А что самое плохое говорят?

жестоко

Лучший наупоп это книги Хоккинга и Пенроуза

Для Френкеля это неудивительно, в общем-то.

жестоко

русский антисемитизм это тоже не новости :)

русский антисемитизм это тоже не новости :)

Конечно. Только при чём тут совок?

я про отзывы на скриншоты говорил. Не совсем понял про совок

в shelly test_s кидает исключение если файла нет. ппц.

а то!

всё это довольно ужасно.

зато не как в го

это чтобы ты как в stm писал

asum [ test_s ... , another stuff ]

Вот все эти люди которые кричат что FilePath в виде [Char] отстой и берущие крайне неудачную либу system-filepath, они вообще о чём думают?

postgresql до 10 версии зарелизился

ну в system-filepath вроде единственная либа которая умеет в правильные кодировки для всех OS

Только её даже снойман депрекейтнул

её автор депрекейтнул

т.к. решил что в base уже все хорошо и кодировки поддерживаются, или какой-то такой блщит

api там и в правду не очень

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

video будет? https://fby.by/

Надо форкать и делать апи как в filepath

А ту либу вроде снойман взял в поддержку и бросил

ого там bartosz milewski будет

она не snoyman style

судя по сорцам system-filepath могла бы быть значительно шустрее

чем она есть?

video будет? https://fby.by/

Обычно было

здесь кто-нибудь может помочь с latex?

или мб знает чат по нему

здесь кто-нибудь может помочь с latex?

а конкретнее