Ка это сделать в гитхабе?

url?w=1

хмм. А "включить для репозитория" нельзя?

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

хмм. А "включить для репозитория" нельзя?

хз

хмм. А "включить для репозитория" нельзя?

я рецензирую через Reviewable.io, а там можно

Привет, подскажите, делаю запрос в бд на удаление таким образом: con <- liftIO conn _ <- liftIO $ delTodoItem con where delTodoItem :: Connection -> IO [TodoItem] delTodoItem c = query_ c "DELETE FROM todo" удаление происходит, но при этом вылетает <interactive>: QueryError {qeMessage = "query resulted in a command response", qeQuery = "DELETE FROM todo"} и дальше ниче не работает, что-то в запросе не так или в чем дело?

Если пакет whateversqk-simple, то наверное нужен. execute, а не query

Я использую postgresql-simple

query что-то выбирает из БД и возвращает. DELETE, это команда

нужно делать execute (или даже execute_)

Да, точно,а что дает _ ? до этого без него пробовал и не срабобтало

В доке всё написано

> A version of execute that does not perform query substitution.

"DELETE FROM todo" как раз без параметров

недогледел, спасибо)

кроме того, "DELETE FROM todo" вряд ли возвращает [TodoItem]

да, это тоже заметил уже, исправил)

Как мне из призмы сделать Getter с Maybe? Prism' s a -> Getter s (Maybe a)

to (preview prsm)

хмм

А Getting случайно не обобщит мне Getter s (Maybe a) и Prism' s a?

Как мне из призмы сделать Getter с Maybe? Prism' s a -> Getter s (Maybe a)

pre

pre - неплохо

preview = view . pre и to . view это почти id, то to . preview = pre

можно просто to . view убрать лишние из моего варианта и получить pre

Оставил pre, всем спасибо!

На степике есть задача про конкатенацию контейнеров с нечетным числом элементов. Помогите найти придумать тест, на котором оно валится с 'Runtime error main: out of memory' в их системе, а то на моих локальных тестах всё ок :( P.S. Решение мне кидать не надо, хочу сам ошибку найти. Тем более, что одно рабочее решение у меня есть, сейчас просто решаю другим способом.

Бесконечные контейнеры тоже пробовал, но видимо недостаточно бесконечные

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

ну вот мне тест бы конкретный, а то устал уже в код вглядываться

Есть в новичковом чате разбор ровно этого задания. Но там есть куски решения, так что осторожнее :)

да разбор нафиг, тем более что я его решил уже по-другому (не через [])

Там тоже "не через"

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

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

я на таких тестировал inf x = Bi x x (inf x) inf2 = Bi x x (Un x) where x = inf 1 inf3 = inf (inf 1) inf4 = inf (inf (inf 1))

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

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

да там тривиальное решение

я как раз решил потом сделать нетривиально, через введение доп. типа "контейнер с чётным числом элементов", и вот это решение уже валится

мне оно показалось красивее, хотя и многословнее

На степике есть задача про конкатенацию контейнеров с нечетным числом элементов. Помогите найти придумать тест, на котором оно валится с 'Runtime error main: out of memory' в их системе, а то на моих локальных тестах всё ок :( P.S. Решение мне кидать не надо, хочу сам ошибку найти. Тем более, что одно рабочее решение у меня есть, сейчас просто решаю другим способом.

нужный тест, который должен проходить λ> c = Bi (Un 1) (Un 1) undefined λ> take 7 $ show $ concatOC c "Bi 1 1 "

Скажите, а с Quantified Constraints эта пачка всё ещё будет нужна? http://hackage.haskell.org/package/base-4.11.1.0/docs/Data-Functor-Classes.html#g:2

@A64m_qb0

Нет

Так и думал, спс

в Гиттере спрашивают > Всем привет! Вопрос к знатокам eventlog: можно через него визуализировать на что уходит память? Как это сделать? :) > В мануале написано, что heap profiling туда события эмитит, но как потом посмотреть что происходило? > hp2ps мне не помог - "samples out of sequence" даже если компилировал без -threading. https://gitter.im/ruHaskell/forall

@qnikst вы вроде такое делали про память через eventlog, ничего в паблик не попало?

query что-то выбирает из БД и возвращает. DELETE, это команда

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

Может, но в том примере это не требовалось

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

Да, как и insert с update.

@qnikst вы вроде такое делали про память через eventlog, ничего в паблик не попало?

@Ncrashed делал Hsoc

полноценного решения у нас не было

а что тыб посчитал полноценным решением в данном случае?

либу, которую можно прицепить к своей программе и получить данные в машиночитаьельном виде

прям вообще с минимум телодвижений? былоб круто

но я не знаю как такое делать правильно

А подскажите где хорошего почитать про стримы и около того?

про кондуиты — статьи Сноймана на fpcomplete

у пайпов есть модуль Pipes.Tutorial

господа, подскажите, есть ли имя у either id id?

fromEither говорит хугл

о, возьму id ||| id, если захочу запутать читателя

fromEither говорит хугл

спасибо

А подскажите где хорошего почитать про стримы и около того?

https://github.com/michaelt/streaming/blob/master/README.md

Это я нашел

ERROR: S client not available

киселева еще можно почитать

https://github.com/michaelt/streaming/blob/master/README.md

это вот прочитал уже

думал есть что-то побольше

Не думал что концепт настолько сложный что нужно читать киселева

Почему я могу сказать 1 :: Sum Int но не могу сказать True :: All?

Потому что численные литералы перегружены

Общий тип 1 -- Num a => a

А True -- просто конструктор

И как это помогает из Num сделать Sum Int (не Int!)?

существует instance Num (Sum a), что позволяет Sum выглядеть и вести себя как число

Нет понятно что Sum ведёт себя как число. За счёт чего я могу Num привести к Sum Int?

за счёт instance

Num — класс типов, Sum Int — тип. У него есть инстанс Num

1 :: Num a => a требует предоставить ей любой a, для которого выполняется Num a

Если выражаться "обыкновенным" языком, то Num это интерфейс, а Sum Int тип. Мы можем использовать 28, 45, прочие цифровые литералы в качестве любого типа, реализующего интерфейс Num

для Sum b выполняется Num (Sum b), что декларируется соответствующим instance

Конкретно видимо из-за fromInteger

Конкретно видимо из-за fromInteger

это детали реализации, к сути не относится

Потому что я не могу сказать 1.5 :: Sum Float

Да Num есть, а Rational нет

Хаскель автоматически диспатчит fromX?

Потому что я не могу сказать 1.5 :: Sum Float

1.5 не Num

Хаскель автоматически диспатчит fromX?

смотря что ты имеешь в виду

Хаскель автоматически диспатчит fromX?

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

Потому что я не могу сказать 1.5 :: Sum Float

потому что нет instance Fractional a => Fractional (Sum a)

Кстати, почему?

точно так же как 1 -- перегруженный числовой литерал, который может быть приведен к любому типу с инстансом Num, 1.5 -- это перегруженный дробный (`Fractional`) литерал, который, в свою очередь может быть приведен к любому типа, реализующему Fractional

{-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE StandaloneDeriving #-} import Data.Monoid deriving instance Fractional a => Fractional (Sum a)

> 1.5 :: Sum Float Sum {getSum = 1.5}

Кстати, почему?

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

Они выполняются приближённо

я подумал об этом, но вроде бы это тут никак не влияет