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

Объясняют же

когда я начинал, о внутреннем устройстве компилятора ничего не знал. и это не мешало

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

Так все наоборот же

Внутренности аппликативов скрыты

У нас только интерфейс применения функций

эм, уточню - я про второй курс на степике. там только и разговоров о внутреннем устройстве стандартной библиотеки )

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

Не согласен, аналогия хромает

я шучу

Правильная аналогия была бы - объяснять устройство лазерного скальпеля и томографа на уровне физики процессов

на самом деле это скорее патан на курсах первой помощи

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

Расскажите бестпрактис по композиции функций в хаскеле плиз.

если сам можешь прочитать на следующий днеь — то нормально

Лучше через недельку

Бест практис одна — не злоупотреблять

Вот вам eESL, а вот eHDL (от Зефирова, конечно же)

HHDL, похоже, заброшен

HHDL, похоже, заброшен

Зато от Зефирова :)

Из живого есть CλaSH

клэш знаю

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

Вопросец такой: я для 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