вот Rec' f и Rec'' f = forall r. Rec f r возможно можно свести, но не факт

да, PatternSynonyms интересный, но чет странно пахнет

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

все потому что Church рулит)

все потому что Church рулит)

а где про черч энкодинг почитать можно?

это не тот черч энкодинг что на слуху

а можно поробнее?

Гонзалез где-то писал что черч энкодинг прямо обязательно понять. Но где почтитаь не сказал

какую-то ссылочку может киньте

или название пейпера может

http://programmable.computer/posts/church_encoding.html я подозреваю что гонзалез про лямбда-термы мог писать черч-энкоднутые

в моем представлении черч-энкодинг это adt на лямбдах (а для работы со значенем свертки), а мне тут на функторах что-то кидали

так ведь все можно заэнкодить в черче

о, да, то что выше

типа -- adt data Tree a = Leaf a | Node (Tree a) a (Tree a) -- church type Tree a = forall c. (a -> c) -> (c -> a -> c -> c) -> c leaf :: a -> Tree a leaf := \x foldLeaf foldNode -> foldLeaf x node :: Tree a -> a -> Tree a -> Tree a node := \l x r foldLeaf foldNode -> foldNode (l foldLeaf foldNode) x (r foldLeaf foldNode) foldTree :: (a -> c) -> (c -> a -> c -> c) -> Tree a -> c foldTree foldLeaf foldNode x = x foldLeaf foldNode

в моем представлении черч-энкодинг это adt на лямбдах (а для работы со значенем свертки), а мне тут на функторах что-то кидали

все эти конструкторы в черч енкодинге сразу есть и свертками для них

все, что я выше написал, я и считал черч-энкодингом

http://programmable.computer/posts/church_encoding.html я подозреваю что гонзалез про лямбда-термы мог писать черч-энкоднутые

спасибо

newtype TreeC a = TreeC { runTree :: forall r. r -> (r -> a -> r -> r) -> r } deriving Functor

вот дерево в черче

newtype TreeC a = TreeC { runTree :: forall r. r -> (r -> a -> r -> r) -> r } deriving Functor

это только если Leaf без значения

если сделать Leaf со значнием, то получится то же, что и у меня

если сделать Leaf со значнием, то получится то же, что и у меня

ну так то да

кстати, отсюда у меня давно уже вывод идет, что a) у foldов всегда редьюсер должен быть a -> b -> b, как у foldr b) начальное значение должно идти перед редьюсером, так как [] объявлен ранее :

растоканал откуда начинать читать ? СС @catamorphism

@qnikst да там одна фраза была по большому счету

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

кстати, отсюда у меня давно уже вывод идет, что a) у foldов всегда редьюсер должен быть a -> b -> b, как у foldr b) начальное значение должно идти перед редьюсером, так как [] объявлен ранее :

ну как бы да) это рекурсоры или catamorphism

хорошо что так хайлайты не работают

сильно повезло

Подскажите, чем из xml-я (строка) по xpath-у/набору фильтров вытащить значение ноды?

hxt самое xpath-оподобное было. Мы dom-parser/xml-conduit юзаем.

у меня xml-lens в петпроекте

можно примерчики?)

notifaika/RSS.hs at master · cblp/notifaika https://github.com/cblp/notifaika/blob/master/src/Notifaika/RSS.hs

спасибо)

правда, линзы — это мягко говоря, не для новичков

особенно всякие plate в этом xml-lens

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

я не сразу увидел, что человек из новичков пришёл

Да линзы я худо бедно осилил

data ApplicationData = ApplicationData { _fieldA :: a, _fieldB :: b } data UserData = UserData { _uFieldA :: Maybe a, _uFieldB :: Maybe b } есть подобного рода рекорды: рекорд приложения, где множество филдов разных типов и рекорд пользователя, где каждый тип обёрнут в Maybe. Как "применить" один рекорд на другой, без обилия копипасты или template haskell (его ещё не осилил)? Т.е. для всех не Nothing значений рекорда пользователя записать значение в рекорд приложения? пытался вот так, но, очевидно, ничего не вышло (не подумал): mergeConfiguration original user = foldl transfer original $ filter userSetValue originalOnUser where transfer original' (originalPath, userPath) = over originalPath (const $ fromJust $ preview userPath user) original' userSetValue (_, userPath) = isJust $ preview userPath user originalOnUser = [ fieldA , fieldB ] `zip` [ uFieldA , uFieldB ]

изучаю хаскель, решил немного поразбираться с cloud haskell и реализовать bully algoritm (https://en.wikipedia.org/wiki/Bully_algorithm)

у меня самая первая задача – при старте нового узла обнаружить все остальные узлы я так понял, что мне нужен distribributed-process-simplelocalnet? – Simple backend based on the TCP transport which offers node discovery based on UDP multicast т.е. если я правильно все понял: я запускаю 2 ноды и вызов findPeers на второй ноде должен что-то вернуть, но ничего не происходит main ∷ IO () main = do [host, port] ← getArgs backend ← initializeBackend host port initRemoteTable node ← newLocalNode backend peers ← findPeers backend 1000000 runProcess node $ forM_ peers $ say . show forever $ return ()

ладно, начну-ка я сначала с их примера с master/slave, завтра

IOHK task detected

d-h-simplelocalnet / d-p-p2p

проверь что не на ipv6 интерфейс, если патч пришлешь то спасибо

и.к. network-transport-tcp его не умеют

спасибо!

лучше сразу понять как работает simplelocalnet и забить на мастер слейв

я не помню условий но simplelocalnet работает в локальной сети только, или мультикаст сети

и.к. поиск нод на основе мульткаста

но адрес вроде фиксирован

+ роутеры и провайдеры могут резать мультикаст

если там требуется не только локальная сеть, то надо -p2p

но надо знать адрес одной ноды хотя бы чтобы инициализировать сеть

автор либы где-то вокруг есть я там апи не помню

+ роутеры и провайдеры могут резать мультикаст

возможно в этом проблема лучше сразу делать p2p думаю

у тебя ноды в разных сетях?

про это не сказано в условиях задачи, думаю, можно придраться)

https://bitbucket.org/dpwiz/distributed-process-p2p/ вот эта

на хакадже смотри

ну да, это оно https://hackage.haskell.org/package/distributed-process-p2p, завтра попробую, спасибо

ага

интересно, мне казалось ее NCrashed а не dpwiz писал

мне стыдно

Чёт сколько я не гуглил, не нашел Haskell-based аналогов скедулера общего назначения с пуллом воркеров, очередями с приоритетами, т.е. чтобы всё "как у больших"...

У питона вон есть Celery. И куча примочек для неё типа админки с графиками и т.д.

индусы из vacation labs что-то обещались заопенсорсить

я так понимаю сделанное по мотивам рубишного чего-то, т.к. с рубёв они мигрировали

из необщего есть варианты типа https://hackage.haskell.org/package/postgresql-simple-queue

начинается http://reasonmlhub.com/exploring-reasonml/

я так понимаю сделанное по мотивам рубишного чего-то, т.к. с рубёв они мигрировали

Вот да, на питоне и рубях по пять-шесть популярных вариантов, а уж наколеночных поделий десятки

А на хаскеле полторы либы для запуска IO в стиле Cron

у нас своя поделка есть

но она не гнется, поэтому никто никогда её не заопенсорсит

наша поделка - убогая

да кто ж спорит

Надо написать. Будет киллер-приложение!

почти как у рубистов!

data ApplicationData = ApplicationData { _fieldA :: a, _fieldB :: b } data UserData = UserData { _uFieldA :: Maybe a, _uFieldB :: Maybe b } есть подобного рода рекорды: рекорд приложения, где множество филдов разных типов и рекорд пользователя, где каждый тип обёрнут в Maybe. Как "применить" один рекорд на другой, без обилия копипасты или template haskell (его ещё не осилил)? Т.е. для всех не Nothing значений рекорда пользователя записать значение в рекорд приложения? пытался вот так, но, очевидно, ничего не вышло (не подумал): mergeConfiguration original user = foldl transfer original $ filter userSetValue originalOnUser where transfer original' (originalPath, userPath) = over originalPath (const $ fromJust $ preview userPath user) original' userSetValue (_, userPath) = isJust $ preview userPath user originalOnUser = [ fieldA , fieldB ] `zip` [ uFieldA , uFieldB ]

Видимо никак?

Видимо никак?

макросы в редакторе уже предлагали?

Да хотелось фичами языка обойтись

тут генериковые решения явно оверкилл

а вообще это похоже на один и тот же тип параметризованный функтором data Data f = Data { a :: f a, b :: f b, … }

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

Да, но суть то именно в том что б эту структурку потраверсить

Ладно, спасибо, буду копипастить

чтобы её траверсить, этот рекорд должен быть гетерогенным, HList или похожие

рекомендую копипастить

HList foldable?

(делать для этого так я не буду, просто в рамках общего развития)

нет, он не может быть Foldable, там в разных полях значения разных типов

Foldable так не работает

для него значения одного типа должны быть

Ну может там маркер типа для каждой итерации передаётся

какой тип по твоему должен быть у этой операции?