Вопросец такой: я для executables включил -Wmissing-import-lists, для библиотеки включать не стал. При этом ghc-mod в лице hie стал доблестно мне рапортовать этот варнинг для библиотечных модулей. Это так и должно быть ("варнинги спускаются вниз по транзитивности") или косяк hie?

Как там по канону правильно, бесточечной нотацией писать?

Ну если читабельно, то point free. Если нет, то явно. Сравни flip3 f a b c = f c b a и flip3 = flip. (flip.). flip

А что щас модно для record-relations mapping в сабже юзать? Я по привычке окунулся в персистент, но НЯП это не авангардно сейчас

я руками таплы в рекорды перековыриваю с postgresql-simple (postgresql-query)

Ну, мне не нравится, что в персистенте слишком руками

В общем, поревьюйте код плиз: https://hastebin.cuttlerat.ru/vibicevoyo.hs

Не хочу откровенный говнокод сразу на github лить.

И подскажите, что делает оператор (&&&) (этот кусок я на stackoverflow нашёл просто) ?

(f &&& g) x = (f x, g x)

то же, что и bimap в Bifunctor

бимап это же ***

э да, недосмотрел, извиняюсь

вернее бимап более общий чем ***, конечно, это еще и +++ и т.д.

Спасибо, вплоне понятно, кстати.

я руками таплы в рекорды перековыриваю с postgresql-simple (postgresql-query)

Наверное можно автоматизировать с fixed-vector-hetero

А по коду есть какие-нибудь замечания/предложения?

ты точно правильную ссылку скинул?:) что там ревьюить, две строчки

кидай весь проект

Так это и есть весь проект :)

сильно:)

У меня пока даже такие маленькие куски кода на хаскеле через боль пишутся.

Когда будет легко - буду покрупнее что-то делать.

Линзы раскуривать, ещё сервант хочу потыкать.

Что бы более реальное что-то было.

В общем, поревьюйте код плиз: https://hastebin.cuttlerat.ru/vibicevoyo.hs

косяков нет, всё понятно ?

Ништяк, спасибо!

В общем, поревьюйте код плиз: https://hastebin.cuttlerat.ru/vibicevoyo.hs

вместо filepath <- fmap head getArgs (filepath:_) <- getArgs лучше ошибка будет если что вокруг show count скобки не нужны

Ух ты, да, так прикольнее, спасибо.

hlint про скобки подсказал бы, думаю

mapM_ + компрехеншн смотрится странновато

яб тупо сделал forM_ list $ \(word, count) -> do ...

ну или без бакса в 8.6 :)

да, или for_

ну да, но с M как-то чуть явней как по мне, для тупых

с другой стороны это до AMP реликт

олдскул :)

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

с буквой M бороться будут?

да, с M-функциями вполне могут

так что я подозреваю, что такой код не фьючепруф

"Весь мир насилья мы разрушим", ну ок надеюсь в hlint по дефолту не скоро добавят

я руками таплы в рекорды перековыриваю с postgresql-simple (postgresql-query)

по идее линзы должны генерировать iso между рекордом и соотв. туплом

но хотелось посмотреть на честно встроенный язык, а не хакнутый ghc ?

diagrams

но хотелось посмотреть на честно встроенный язык, а не хакнутый ghc ?

ivory

спс

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

хотя я имел в виду честно встроенный HDL

но ivory все равно интересно, посмотрю

по идее линзы должны генерировать iso между рекордом и соотв. туплом

там не один к одному. всякие Binary ByteString и прочая чухня

ну, зависит от того какое соотношение того что один к одному, а что нет

В общем, поревьюйте код плиз: https://hastebin.cuttlerat.ru/vibicevoyo.hs

Мне кажется тип main лучше явно написать. И fmap вместо map

А в чём принципиальное отличие-то?

s/map/fmap/ это просто повод запутать новичков

имхо

fmap работает на любом функторе, а map только на листах

так там уже комбинация с функциями над списками

код не полиморфый, куда там любые функторы?

т.е. от более полиморфного кода никакого эффекта кроме ухудшения вывода типов и вероятности (очень невысокой правда) получить неправильный код при модификации

и ухудшение читабельности

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

import Data.List (sort, group) import Data.Char (toLower) import Control.Arrow ((&&&)) import System.Environment (getArgs) import Control.Lens import Text.Printf wordCount :: String -> [(String, Int)] wordCount = map (head &&& length) . group . sort . words . map toLower format :: [(String, Int)] -> [String] format = map $ uncurry $ printf "%s %d" main = getArgs <&> head >>= readFile <&> wordCount <&> format >>= mapM putStrLn

@hotkosc поинт фри везде

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

Ну правый map он вообще над стрингом. Если переписывать на Text нужно будет менять.

и там ты оставишь fmap, а не заменишь на T.toLower?

и Text станет функтором

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

считаем слова, используя смешной экстеншен, которым никто не пользуется > t = "foo bar baz foo foo bar" > [(the word, length word) | word <- words t , then group by word using groupWith , then sortWith by Down (length word)] [("foo",3),("bar",2),("baz",1)]

ERROR: S client not available

Уж лучше https://anton-k.github.io/ru-haskell-book/book/home.html

A как мы относимся к книжке Graham Hutton "Programming in Haskell"?

считаем слова, используя смешной экстеншен, которым никто не пользуется > t = "foo bar baz foo foo bar" > [(the word, length word) | word <- words t , then group by word using groupWith , then sortWith by Down (length word)] [("foo",3),("bar",2),("baz",1)]

А не будет ошибки если будут встречаться "foo" и "Foo"?

а, ну тут понятно надо к одному регистру привести еще

считаем слова, используя смешной экстеншен, которым никто не пользуется > t = "foo bar baz foo foo bar" > [(the word, length word) | word <- words t , then group by word using groupWith , then sortWith by Down (length word)] [("foo",3),("bar",2),("baz",1)]

а что за экстеншон?

TransformListComp

TransformListComp

о нем в книге Мена написано)

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

Ну красиво ?

А в GHCi как-то можно типы обозначать у создаваемых функций?

Мне вот этот подход понравился, когда хочется чего-то вроде ограниченнгого SQL для обработки таблиц в Haskell: * http://www.timphilipwilliams.com/posts/2017-04-12-nested-datacubes.html Я в одном проекте использовал, было довольно удобно (без этого вообще не получилось бы нормально сделать). Там надо просто кучу строчек по разным критериям аггрегировать несколько раз в разных извращениях. Правда, сначала потратил 3 дня, чтобы это осознать...

Когда компилятор их сам вывести не может.

А в GHCi как-то можно типы обозначать у создаваемых функций?

да как обычно в коде

А в GHCi как-то можно типы обозначать у создаваемых функций?

Да, можно. Нарпример, при помощи многострочного ввода: ghci> :{ ghci| foo :: Int -> Int ghci| foo x = x + 1 ghci| :}

А, точняк, спасибо.

да, или foo :: Int -> Int; foo x = x + 1 если в многострочный режим лень переключаться

считаем слова, используя смешной экстеншен, которым никто не пользуется > t = "foo bar baz foo foo bar" > [(the word, length word) | word <- words t , then group by word using groupWith , then sortWith by Down (length word)] [("foo",3),("bar",2),("baz",1)]

красиво

плохо, что сигнатура функции репл в многострочный режим не переключает, если автоматическая многострочность включена

Наверное можно автоматизировать с fixed-vector-hetero

Я считаю что это будет излишне. этот код ОЧЕНЬ просто тестировать на интеграцию с БД, и очень просто поправить.

т.е. тут, как мне кажется, лёгкий бойлерплейт который легко выкинуть будет лучше чем 30 минут компилящийся модуль

чет работа по решению этой проблемы заглохла

плохо, что сигнатура функции репл в многострочный режим не переключает, если автоматическая многострочность включена

Звучит как хорошая идея для issue в баг-трекер GHC

оно того не стоит.

Можно еще инлайн let f = map (+1) . filter (==1) :: [Int] -> [Int]

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

Я когда пилил поддержку REPL'а для Kotlin в JetBrains, то там надо было сделать поддержку многострочного ввода по дефолту и с этим были заморочки. Там даже есть клёвая фича, что когда листаешь вверх, то сразу вся функция показывается, а не по одной строке, как в многострочном вводе ghci... Правда, когда в языке надо ставить фигурные скобки явно для выделения блоков, то это сделать проще

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

у эмелей репл в многострочном режиме по умолчанию обычно

там многострочный блок завершается ; или ;;

первый вариант вполне и для хаскеля рабочий

filter (\x -> all (\z -> z /= 0) [fromIntegral (mod (fromIntegral x) (fromIntegral y)) | y <- [2..(toInteger . fromIntegral . truncate . sqrt $ fromInteger x)]]) [toInteger . fromIntegral $ x | x <- [1..1000]]

но истории нормальной и в эмелях нет

Как думаете, этим можно джуна убить?