vit_r вроде адекватный а целом человек, но сишник головного мозга

Мне так нравится читать экспертов по хаскелю которые ничего не писали на нём

Проблема в том, что таких довольно много. :(

От практиков хаскеля интересный доклад с юмором, всё так https://www.youtube.com/watch?time_continue=526&v=7NB8tMa8sUk

как делают большие веб-приложения, перешли от Руби к Хаскелю после больших проблем с поддержкой руби-кода

и что получилось в итоге

@graninas не ваши ребята? ^

Мои зовутся Restaumatic, а эти какие-то Vacation Labs. Но кейс, наверное, похожий, я еще не смотрел.

Я так понял они делают конструктор для сайтов по внутреннему туризму в Индии

Билеты, отели, букинг

Что интересно когда они с руби переписали уних было 150k, а на хаскеле 50k получилось, они за поддержку оч хвалят, но есть за что и ругают)

народ, а можно где-то оверрайднуть ghc-options стеку, чтобы не трогать стек файл и кабал файл в гите? задрало постоянно делать stash перед коммитом

переменные окружения по идее должны работать

через STACK_YAML или --stack-yaml передать свой конфиг

cabal.project.local cabalface.hs

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

https://hackage.haskell.org/package/microlens это они?

а я вчера искал Map Class от Сноймана, тоже не нашёл. Может кто знает, где он? Класс упоминается в конце этой статьи https://www.yesodweb.com/blog/2016/03/why-i-prefer-typeclass-based-libraries I've put my Map abstraction classes on Github inside the Jump project. Видимо раньше они были вот тут https://github.com/commercialhaskell/jump , но проект удалён. В Foundation тоже не нашёл

а я вчера искал Map Class от Сноймана, тоже не нашёл. Может кто знает, где он? Класс упоминается в конце этой статьи https://www.yesodweb.com/blog/2016/03/why-i-prefer-typeclass-based-libraries I've put my Map abstraction classes on Github inside the Jump project. Видимо раньше они были вот тут https://github.com/commercialhaskell/jump , но проект удалён. В Foundation тоже не нашёл

не надо класс Map искать

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

(потому что снойману это нравится, видимо, а то пока безаргументно)

из-за того что линзы есть?

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

или чем плох такой класс?

(потому что снойману это нравится, видимо, а то пока безаргументно)

потому что беззаконные классы это плохо

и полиморфизм на пустом месте

так вроде чисто ради полиморфизма это и делалось

потому что беззаконные классы это плохо

там как раз статья почему это хорошо:)

чтобы не HashMap.insert/ListMap.insert, а просто insert

это бесполезный полиморфизм в лучшем случае

а ещё иногда и вредный, когда сложность операций становится непредсказуемой

и может сильно варьироваться от структуры к структуре

в этом отношении подход линз гораздо разумнее

беззаконные классы плохо т.к. легко нарушается граница абстракции

у таких классов есть плюс - писать бенчмарки проще

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

А есть какая-то мера когда законов достаточно?

беззаконные классы плохо т.к. легко нарушается граница абстракции

что это значит?

Ну типа напишешь закон с id или const и всё тайпкласс надёжный?

когда для методов класса есть инфарианты

полагаю законы должны связывать операторы стуктуры (как дистрибутивность связывает моноиды полукольца)

нету законов - точно плохо

да

Такая глупость по моему. Делаешь такой себе полиморфизм, а тебе навязывают что ты должен это делать в стиле матана

полагаю законы должны связывать операторы стуктуры (как дистрибутивность связывает моноиды полукольца)

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

нет, ни разу

(и прочим "матаном")

Типа 2местный оператор написал и проверяешь его на комутативность, ассоциативность. Лишь бы хоть какое-то свойство

полагаю речь про вещи типа insert k v2 . insert k v1 = insert k v1 и похоже что не все мапы такое поддерживают

Такая глупость по моему. Делаешь такой себе полиморфизм, а тебе навязывают что ты должен это делать в стиле матана

не знаю причем тут матан

иначе получается убожество вроде classy lens

classy-prelude т.е.

и monotraversable

беззаконные классы плохо т.к. легко нарушается граница абстракции

а вот у MonadReader какие законы? или это тоже плохой класс?

не знаю причем тут матан

Моноиды полукольца с ним ассоциируются

ну это просто пример

для интуиции по моему самое то

Ну типа были введены имена для операции на основе их свойств

И теперь ты пытаешься дать свойства своей предметной области

И всё это в языке где это все не проверяется

Просто воображаешь себя каким то математиком

а вот у MonadReader какие законы? или это тоже плохой класс?

Очевидно плохой

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

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

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

я ещё не люблю когда MonadIO m вместо IO делают

но тут трудно найти сторонников

но так уж и быть я соглашусь с тем что специализацию для IO сделают

но тут трудно найти сторонников

MonadIO удалили из трансформеров? видимо есть сторонники

MonadIO удалили из трансформеров? видимо есть сторонники

потому что он в base

потому что он в base

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

MonadIO удалили из трансформеров? видимо есть сторонники

оно в base вроде

а вот у MonadReader какие законы? или это тоже плохой класс?

ask = lift ask local r (lift m) = lift (local r m) local r (return a) = return a local r (m >>= k) = local r m >>= local r . k

Могли бы и сами нагуглить

Народ, я тут решаю кату — интерпретатор для brainfuck-подобного языка. У каты есть один нюанс — интепретация программы может закончиться не только после исчерпания команд в программе, но и при выходе каретки за границы памяти. Вопрос: стоит ли делать трансформер монады, чтобы не пробрасывать явно этот short-curcuit вариант, или я уже упарываюсь и задачу можно решить попроще?

а что за ката? По моему во всех катах про бреинфак на хаскеле лента (или ленты, была там ката с 3 лентами) подразумевалась бесконечной

а что за ката? По моему во всех катах про бреинфак на хаскеле лента (или ленты, была там ката с 3 лентами) подразумевалась бесконечной

Не, там как раз фишка в том, что лента конечная

интересно, что за ката

согласен с @kana_sama там в основном кассеты

Вот: https://www.codewars.com/kata/esolang-interpreters-number-2-custom-smallfuck-interpreter

Smallfuck :D

В общем, monad transformer тут — не оверкилл?

нет

Гм, а свой трансформер тут не нужен — ExceptT — ровно то, что мне требуется

Гм, а свой трансформер тут не нужен — ExceptT — ровно то, что мне требуется

Every. Damn. Time.

Уже который год жду когда мне придётся свою монадку написать, но нет, всё уже написано до нас.

Уже который год жду когда мне придётся свою монадку написать, но нет, всё уже написано до нас.

Просто фундаментальных монад в принципе немного :P