ну, кто уже перешел на 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

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

что за ад с FilePath в этом вашем shelly?

как и в turtle

Ура

они просто не могут иначе

Сбылась мечта идиота

Взял бы такую, но без правого блока, который шириной в три кнопки

Мне на работу начальник купил, теперь из кабинета звук печатной машинки перманентно

а где доп-клава с циферками?

что за ад с FilePath в этом вашем shelly?

а что с ним не так?

а где доп-клава с циферками?

В 1999 году

Он без правого блока

Она