BnW — kb: > http://i.imgur.com/Tdl2TgF.png > http://i.imgur.com/bJCnMhZ.png >…

> http://i.imgur.com/Tdl2TgF.png > http://i.imgur.com/bJCnMhZ.png > Сидишь-сидишь, думаешь-думаешь: > тут хуяк! > http://i.imgur.com/UBthjBE.png > все починилось сразу // на самом деле тут говно, не читайте, должно быть сильно проще

#QZDFV4 / @kb / 3818 дней назад

ле // да, тяжко читается ваще

#QZDFV4/N7U / @ulidtko / 3818 дней назад

Вообще пиздец канеш. Половина кода -- ебля с разными кодировками-перекодировками, причем руками делается в основном (toString, toLazyByteString и т.п.). Вторая половина -- обработка ошибок (т.к. нет стек трейсов, желательно иметь понятные строки с описанием где и что не так, иначе бы тупо фигачил "все в either").

#QZDFV4/FI2 / @kb / 3818 дней назад

@kb агась

#QZDFV4/N42 / @ulidtko --> #QZDFV4/FI2 / 3818 дней назад

@ulidtko Ща буду упрощать.

#QZDFV4/341 / @kb --> #QZDFV4/N7U / 3818 дней назад

http://i.imgur.com/RP2hbwR.png

#QZDFV4/D57 / @kb / 3818 дней назад

@polecat Пили пример, а то сложно сказать.

#QZDFV4/L85 / @kb --> #QZDFV4/WB2 / 3818 дней назад

@polecat ну, второй я выкинул не ради того чтоб выкинуть а просто потому что там начиналось `r <- ...; r' <- ...; r'' <- ...`

#QZDFV4/R5F / @kb --> #QZDFV4/MTW / 3818 дней назад

НАЙДЕНО ИДЕАЛЬНОЕ РЕШЕНИЕ http://i.imgur.com/NpWLvnS.png

#QZDFV4/7DN / @kb / 3818 дней назад

@polecat на самом деле очень просто, палю: http://www.haskellforall.com/2012/05/scrap-your-type-classes.html
// tl;dr пиши свой собственный typeclass dictionary @ передавай эксплицитно по значению

#QZDFV4/FN5 / @ulidtko --> #QZDFV4/WB2 / 3818 дней назад

@kb норм

#QZDFV4/5K0 / @ulidtko --> #QZDFV4/D57 / 3818 дней назад

@kb ле, топ норм

#QZDFV4/S7W / @ulidtko --> #QZDFV4/7DN / 3818 дней назад

@polecat да не, чувак просто задвигает альтернативную идею рантаймовых эксплицитных value-level тайпклассов. И там-то как раз очень удобно получается иметь несколько инстансов, скажем, Monoid, для твоего типа Hui: это просто несколько разных значений (словарей (рекордов функций)). И везде, где ты используешь методы етого тайпкласса, mempty и mappend, ты вместо того чтобы запрятывать инстансдикт под очередной newtype, просто передаёшь етот дикт (рядышком после значения типа непосредственно Hui) эксплицитно.

не, ну почитай блог, там немного совсем и не сложно.

#QZDFV4/FFP / @ulidtko --> #QZDFV4/DMZ / 3818 дней назад

@polecat пжжи, пжжи, чо за syb-то

#QZDFV4/JAS / @ulidtko --> #QZDFV4/DMZ / 3818 дней назад

@polecat вот да, всё о чём ты здесь пишешь, решается value-level тайпклассами.

#QZDFV4/WN8 / @ulidtko --> #QZDFV4/0PI / 3818 дней назад

@polecat Ну да, компилятор же за тебя не может сказать, когда ты хочешь list, а когда corovan. Также прошу обратить внимание на mono-traversable и OverloadedLists, может снять множество getCList-хуйни.

#QZDFV4/ERR / @kb --> #QZDFV4/0PI / 3818 дней назад

@polecat не читал, дунно

#QZDFV4/AP0 / @ulidtko --> #QZDFV4/HZJ / 3818 дней назад

BnW для ведрофона BnW на Реформале Викивач Котятки