про охреневание это да

Ну кому как.

:D http://www.haskellchurchofchrist.org/

Prelude Test.QuickCheck> quickCheck (\xs -> xs == reverse xs) +++ OK, passed 100 tests. QuickCheck power!

круто

Prelude Test.QuickCheck> quickCheck (\xs -> xs == reverse xs) +++ OK, passed 100 tests. QuickCheck power!

что здесь необычного?

ничего

просто кому-то может быть неожиданно почему quickcheck говорит что xs == reverse xs

мне как нубу необычно ткните носом, пожалуйста

просто кому-то может быть неожиданно почему quickcheck говорит что xs == reverse xs

А почему?

Для меня неожиданно

defaulting rules

поскольку информации для вывода типа xs недостаточно, то в ghci выводится тип по правилам: 1. если есть Num a => то Int 2. если нету то ()

в общем тип у xs :: [()]

для него очевидно xs == reverse xs

Хм, ну да, логично

поскольку информации для вывода типа xs недостаточно, то в ghci выводится тип по правилам: 1. если есть Num a => то Int 2. если нету то ()

А почему не наиболее широкий тип выводится? Очевидно, что тип xs это [a]

В данном случае Eq a => [a]

Ага, сорь

Полагаю, для теста нужно какое-то конкретное значение, наверное только () захардкорен

Prelude> toEnum $ fromEnum '2' + fromEnum '2' *** Exception: Prelude.Enum.().toEnum: bad argument

Prelude> 1+ (toEnum $ fromEnum '2' + fromEnum '2') 101

Prelude> 1.0+ (toEnum $ fromEnum '2' + fromEnum '2') 101.0

я ж написал правила выше?

https://github.com/iostreamer-X/FuncShell

это специфика ghci

и это написал, не?

monad-classes or freer?

Ether посмотри еще

Ether посмотри еще

это кому?

По Эфиру можно даже автора поспрашивать :)

Ether, это тем, кто хочет стэкать монадки в сложные стэки

это кому?

Тебе

Ну как и monad classes

Ну как и monad classes

а ссылку?

mtl же!

https://int-index.github.io/ether/

transformers -> mtl -> monad-classes or freer

Ether стоит смотреть, если уже освоил mtl

Наверное в большинстве случаев mtl хватает

mtl хватает, пока не захочешь несколько ридеров и т.п.

Ну я поэтому и написал в большинстве случаев

Эфир как раз решает задачу стэкания нескольких трансформеров одного вида

Вощм, надо Влада позвать - кто, как ни автор, сможет продать либу? :)

Как тут уже писали с ReaderT env IO очень много можно делать

RWST IO хватит всем!

Хехе

это та из-за которой код serokel не собирался на меньше чем 32гб оперативки?

ReaderT e IO не слабее RWST IO

Ну ок, IO хватит всем :)

IO эффекты не отражаеи

хотите немного извращений? а то вы уже, наверное, забыли как выглядит настоящий мир

> m.utc("08/04/1984-23:00", "DD/MM/YYYY-HH:mm", true).month() 3

PHP?

js 🙂

Я так знал =D

Эфир как раз решает задачу стэкания нескольких трансформеров одного вида

эфир?

Ether

https://github.com/moment/moment/issues/3547

и это не баг!

у меня тут нода решила 1.5 гига съесть, что-то в ноде 9 не то

вот так заходишь на канал Haskell, а люди тут на js пишут :)

Балуются просто

Вощм, надо Влада позвать - кто, как ни автор, сможет продать либу? :)

Главная фича Ether в том, что можно запускать слои трансформеров, не выходя из абстрактной монады.

А последнее время я вообще склонен считать, что наибольший power2weight ratio у обычных transformers (даже не mtl), с rigid stacks. Это для всяких эффектов типа Reader, State, Except. А для эффектов бизнес-логики (то, что надо мокать), лучше mtl-style классы. В итоге имеем стек вроде (BusinessLogic1 m, BusinessLogic2 m) => StateT s (ExceptT e m) a, где m в конце будет ньютайпом над ReaderT AppState IO (как Снойман проповедует). Один ньютайп для тестов, другой для реального исполнения кода

а расскажите, что такое эта ваша бизнес-логика

Наверное это неудачно я выразил, назвав бизнес-логикой. Идея в разделении чистого control-flow (ReaderT чтоб передать еще параметр, ExceptT чтобы иногда выйти из функции, StateT чтобы пробрасывать промежуточное состояние), и задач выполняемых приложением взамиодействуя с внешним миром (в БД сходить, запросы сетевые послать)

Первые мокать и не хочется, потому что это как раз то, как приложение работает. А второе хочется, поэтому его в mtl-style класс надо спрятать.

да не, я правда не знаю, что значит этот термин:) хотя видел его сотни раз. вот интересно, кто что под этим понимает

статья в википедии ясности не принесла

слишком общо

Ну представь, что ты пишешь код на DSL, идеально заточенным под твою доменную область. Всякая сериализация/десериализация, консёрны с persistence, и т.д. — все это уже за тебя делают. Вот на таком DSL ты только бизнес-логику приложения описываешь. То есть то, что оно концептуально должно делать.

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

идея понятна, спасибо

всегда говорил что надо использовать просто tf

transformers и.е.

Главная фича Ether в том, что можно запускать слои трансформеров, не выходя из абстрактной монады.

все это красиво, но только вот как и с пакетами Кметта нифига нет ни примеров ни юзкейсов использования

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

всегда говорил что надо использовать просто tf

и делать лифт на лифте и лифтом погонять?

все это красиво, но только вот как и с пакетами Кметта нифига нет ни примеров ни юзкейсов использования

Если у тебя нет для этого юзкейсов, то можно и не использовать 🤷🏻‍♂️ Мне надо было — я сделал