Больше кода в квотейшенах пиши, будет понятнее. А вообще да, оно убогое нечитабельное говно по большей части. Что поделать, других инструментов нет. >как в хачкиле не уходить за овер 100 символов в строку Настоятельно рекомендую всегда использовать этот стайл гайд: https://github.com/tibbe/haskell-style-g.....l-style.md Он очень правильный. Особенно это касается _всегда_ явных импортов, _всегда_ -Wall, _всегда_ типы у top-level (впрочем, об этом тебе Wall напомнит). Стилистические соглашения не так важны на фоне этого. Олсо, поделись .vimrc, тоже хочу такой модный статуслайн.

@kagami https://github.com/Lokaltog/vim-powerline скачать бесплатно без регистрации смс

Так точно! У всех уебищный!

@kagami >Настоятельно рекомендую всегда использовать этот стайл гайд: https://github.com/tibbe/haskell-style-g.....l-style.md >Maximum line length is 80 characters. ._.

@plhk Это в любом языке же.

@kagami в языках без (.) и ($) ваще не парит. хотя я в бидоне умудрялся говнять трехстрочные фильтромапоредусы свинья везде грязь найдет

@ap Если большая часть в квотейшене, а не хуярится синтаксическими операторами, то в принципе понятно, что оно генерирует. Вот, например:

{-# LANGUAGE TemplateHaskell, FlexibleInstances #-}

module TH2 where

import Data.List (intercalate)
import Language.Haskell.TH
import Language.Haskell.TH.Syntax (VarStrictType)

deriveShow :: Name -> DecsQ
deriveShow name = do
    info <- reify name
    case info of
        TyConI (DataD _ _ _ [RecC _ fields] _) ->
            [d| instance Show $(conT name) where
                    show rec = $(showRec fields)
            |]
        _ ->
            error "Not implemented"
  where
    showRec :: [VarStrictType] -> ExpQ
    showRec fields =
        let rec = show name ++ ":\n\t"
        in [| rec ++ intercalate "\n\t" $(listE $ map showField fields) |]

    showField :: VarStrictType -> ExpQ
    showField (fieldName, _, _) =
        let recName = mkName "rec"
            field = show fieldName ++ ": "
        in [| field ++ show $(appE (varE fieldName) (varE recName)) |]

Поясните хотя бы как вот это починить? [ValD _ body dec] <- [d|parse = $(global 'fmap) $(conE name) $(parserE consName)|] return $ ValD (VarP parserName) body dec

@plhk Гайд уровня "чтобы сохранить кожу нежной и шелковистой не обмазывайте её говном.".

@plhk Во всех стайл-гайдах, что я видел, говорили использовать 80 символов максимально в длину. Просто обычно это универсальное правило. Если код длиннее, то скорее всего ты что-то делаешь не так. Обычно это 50-60 на самом деле, к 80 редко должен подбираться, т.к. большая вложенность тоже плохо читается.

@kagami родина им дала широкоэкранные мониторы - используй всю площадь экрана используй, блядь! не хочу, хочу жрать говно и это программисты блядь?

@kagami Но ведь на хаскеле код чаще растет в ширину, а не в длину. Поэтому можно легко уползти за 200 символов сильно не напрягаясь. Алсо у меня в имаксике залезший за 80 символов код просто ненавязчиво меняет цвет. И не мешает когда пишешь, и сразу видно чо куда когда форматируешь.

@plhk Зачем ты генерируешь функцию, достаёшь из неё уже написанные тобой куски и создаёшь новую? Используй просто квотейшен.

@kagami Да, так няшно.

@plhk Совсем тупой что ли? Большой монитор чтобы открыть много терминалов по 80 символов. У меня помещается 2 + один маленький с watch-скриптами/дебаг-серверами в консоли.

@kagami Затем что ниасилил, лол если написать [ValD _ body dec] <- [d|$(varP хуйпизда) = $(global 'fmap) $(conE name) $(parserE consName)|] парсинг фейлед

@ap Не надо уползать. Есть where и под-функции.

@plhk или предлагается ебошить ValD (VarP хуйпизда) [|говно|] моча?

@kagami вере тоже уползают, алё а кейсы вообще куку досвидос

@plhk [d| $(varP parserName) = $(body) $(rec) |] возвращай. И в последней строчке квотейшеном пиши.

@plhk You are doing it wrong. Стайл-гайд прочитал?

@kagami >Parse error in pattern: $(varP parserName)

@kagami Точнее $(varE parserName). Ну там надо рефакторить, короче, мне лень. Суть в том, чтобы писать код так, чтобы было похоже на то, что оно вернёт.

@kagami один хуй, если там что-то кроме константы до = парсе егог во все поля идёт

@plhk ну вас в пизду, пойду в #haskell спрошу

@plhk Хм, походу мы так не можем, чтобы кастомное имя функции надо clause или подобное. Странно.

@kagami былинный отсос хачкиблядей!

@plhk http://stackoverflow.com/questions/57225.....36#5733936 >Looks like it's a bug with versions of GHC older than 6.12 where you can't splice in types. Лол.

@kagami >in types

@plhk Хуй знает. Я вроде на это уже натыкался — так и не осилил сделать кастомное имя функци в квотейшене, забил и сделал через clause.

@kagami Олсо, хэкэдж опять лежит.

Олсо, тебе кастомное имя функции на самом деле нахер не сдалось. Можешь писать тупо в квотейшене, он сам их гигиеничными сделает: Prelude Language.Haskell.TH> runQ [d| test = 123 + 456 |] [ValD (VarP test_3) (NormalB (InfixE (Just (LitE (IntegerL 123))) (VarE GHC.Num.+) (Just (LitE (IntegerL 456))))) []]

@kagami сейчас да, я сначала все мелкие парсеры вытаскивал в паблик

@plhk http://hackage.haskell.org/trac/ghc/ticket/1476 ._.

@plhk У меня не открывается ._.

@kagami мизулина запретила

@plhk Все правильно сделали. Давно пора приравнять к героину.

@plhk Хаскель-то за что? Олсо, похоже это оно и есть, да. До знака равно же ещё паттерн может быть.

@kagami 'P' в varP кагбе намекает

@plhk А у тебя vim-powerline или новый powerline? Там чо-то пишут, что deprecated, не модно уже.

@kagami у меня старый

какое-то копошение в говне итт. зачем в хаскеле шаблоны, там же кококо фвп тайпкласы

@4da Што.

@4da Как тайпклассы помогут построить парсер для sum type?