Утра вам всем.

Утро

@lightgreen а разве asc`/`desc в S.orderBy не надо?

asc :: PersistField a => expr (Value a) -> expr OrderBy

orderBy :: [expr OrderBy] -> query () а у EntryId тип врятли подходящий

кстати иногда бесит в persistent/esquileto что Id отделен от сущности

впрочем в persistent все бесит, esqueleto хоть чуть-чуть исправляет его

кстати иногда бесит в persistent/esquileto что Id отделен от сущности

в Persistent можно включить id внутрь

уже можно?

раньше EntityId и EntityValue (или как его там) отдельно жили без способов конвертнуть нормально

впрочем это не делает Persistent не ужасным

во-первых, есть Entity, если ты просто хочешь иметь их вместе

для всего остального https://github.com/yesodweb/persistent/blob/master/docs/Persistent-entity-syntax.md#change-tablecollection-key-definition-field-name-andor-type-persistent--21

> yesodweb/persistent звучит как "вебчик на Йесоде - вечен!"

@cblp_su я могу передать EntityId в параметр где ждут одно из полей из EntityValue?

во всякие order by и т.п.

@cblp_su я могу передать EntityId в параметр где ждут одно из полей из EntityValue?

по-моему, в каждом первом примере это есть. или я не понял вопрос

много лет назад с этим были проблемы

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

могу понять esqueleto, и то с струдом

у меня причины две — Персистент умеет всё, что мне нужно (на начальном этапе развития проекта), и я его уже знаю

так он join-ы то уже научился делать не только на 2 таблицы?

джойны не нужны в начале развития моих проектов

а, ок

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

кроме узкого сабсета

когда понадобятся, пойду в чатик ruHaskell/forall и спрошу, как это делать

я когда делал цитатник намучался с персистентом

через прокси/адаптер можно абстрагировать довольно широкий сабсет

в теории

вроде элементарная штука, но и он покрывал 80% запросов, но даже там raw sql queries мне надо было делать

не помню как в персистенте оно звалось

ну, кто уже перешел на nixos-17.09?

на работе двое

мне было лень ноут включать

хах

вы не поверите, но плазма падает https://github.com/NixOS/nixpkgs/issues/30011

@qnikst а что вместо esqueleto посоветуешь?

мне нравятся низкоуровневые вещи типа hasql

с другой стороны у меня нету задачи composable queries

типа query <> orderByStuff <> limitStuff

и не очень парит безопасность sql запроса

вообще esqueleto смотрится хорошо, что не так сильно урезает подмножество возможных запросов

и чуть-ли не основная проблема это то, что вселенная значений это то, что поддерживается persistent

если это для сайта типа wiki твоей, то я бы наверное не сбегал с esqueleto

Опалай?

Ещё пара лет и я перепишу свой дсл до вменяемости и поверх postgres-wire

а подскажите вот такой момент: столлман, когда рассказывает про free software, делает акцент на free as in speech, not free as in beer

а в случае с Control.Monad.Free какой смысл более подходит?

free as in free theorem

в гугле повсеместно используется термин "свободная монада", но вдруг она на самом деле "бесплатная"?

The word "free" is used in the sense of "unrestricted" rather than "zero-cost"

https://hackage.haskell.org/package/free

гм, точно, слона-то и не приметил

в гугле повсеместно используется термин "свободная монада", но вдруг она на самом деле "бесплатная"?

я б ее назвал забывающей, потому что >>= будет дополнено само

и нужно быть только функтором

просто вот в статейке товарищ говорит, что This structure gives you a free X when given a Y http://www.parsonsmatt.org/2017/09/22/what_does_free_buy_us.html

@quetzal ping?

а ты не знаешь как lmdb себя ведёт в присутсвии сигналов?

вызов mdb_cursor_get если прилетит сигнал, что мне выдаст EINTR/SUCCESS + данные/SUCCESS + мусор?

я б ее назвал забывающей, потому что >>= будет дополнено само

А к чему тут забывчивость?

тем, что ты забываешь про монаду и она будет восстановлена автоматически

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

в гугле повсеместно используется термин "свободная монада", но вдруг она на самом деле "бесплатная"?

свободная, потому что это разновидность "свободных" алгебраических структур: https://ru.wikipedia.org/wiki/%D0%A1%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D0%B0%D1%8F_%D0%B3%D1%80%D1%83%D0%BF%D0%BF%D0%B0 https://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%BD%D0%B0%D0%B4_%D0%BA%D0%BE%D0%BB%D1%8C%D1%86%D0%BE%D0%BC#.D0.A1.D0.B2.D0.BE.D0.B1.D0.BE.D0.B4.D0.BD.D0.B0.D1.8F_.D0.B0.D0.BB.D0.B3.D0.B5.D0.B1.D1.80.D0.B0

Слово «Free» в свободной монаде – отсылка к теории категорий, где она понимается как левое сочетание забывающей операции

То есть, если мы возьмём монаду, скажем, State s, с return, bind, fmap, put и get операциями, и забудем первые две, то мы сможем восстановить монаду как Free (State s), с протезированием return и bind

Посмотрел посмотрел я на них да и заказал ?

Обе книги - отличные

Знать бы, где купить, везде кончились. Окасаки на озоне еще есть. Хм, напрямую у ДМК книга есть

чем transient-universe хуже/лучше cloud haskell ?

Знать бы, где купить, везде кончились. Окасаки на озоне еще есть. Хм, напрямую у ДМК книга есть

а о чем Окасаки пишет?

функциональные структуры данных

аа, нашел все-таки

Читал кто Квантовые вычисления Душкина?

я читал

Написано, что книга для самых новичков, но помню, что когда читал его введение в хаскель, то она меня очень испугала

Не Там про кванты достаточно просто описано Разве что схемотехника квантовая скучновато описана :с

Окей, спасибо

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

https://dmkpress.com/catalog/computer/programming/functional/978-5-97060-275-1/ https://dmkpress.com/catalog/computer/programming/functional/978-5-97060-233-1/ https://dmkpress.com/catalog/computer/programming/functional/978-5-97060-275-1/ Короче, обе те две книги можно найти на сайте издательства, заказал. Еще и квантовые вычисления взял. Ну и LYHFGG взял для коллекции

вообще без понятия, что есть тензорное исчисление, пойду смотреть)

А Ещё в начале книги он предлагает сам написать фреймворк для квантовых вычислений на хаскеле а потом предлагает воспользоваться quipper но лично у меня он тупо не встал через стак :с хотя вроде через кабал его можно накатить я не особо пробовал

Читал кто Квантовые вычисления Душкина?

Книга скучноватая, про квантовые вычисления лучше почитать у Нильсена-Чанга, про quipper - исходные статьи и, увы, исходный код

ну вроде код там вполне читаемый ну или я не достиг сложных кусков

как избавиться от liftA2?)

[(1,[2,3,4]),(10,[5,6,7])] & traverse %~ (\(x, y) -> liftA2(,) [x] y)

а какой результат должен получиться?

[[(1,2),(1,3),(1,4)],[(10,5),(10,6),(10,7)]]

даже [(1,2),(1,3),(1,4),(10,5),(10,6),(10,7)]

что-то я не так с линзами сделал

как еще и разлинееть?

traverse %~ sequenceA

разлинееть - это [[a]] -> [a]?

тогда в конец ещё дописать & join

a -o Unrestricted a

a -o Unrestricted a

чо это?)

тогда в конец ещё дописать & join

а если не join?

линейные типы

a -o Unrestricted a

твои коллеги этот дурацкий синтаксис реализуют?