поскольку информации для вывода типа 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

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

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

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

это так страшно?

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

У тебя обычно больше пары слоев не будет, в чем проблема?

Да и я хочу исследовать идею монадных морфизмов, о которых Кметт недавно выступал, чтобы лифтов не было

можно подробнее?

ну вот с фриер бесплатно можно монаду сделать

Все эти extensible effects не думают о двух вещах, о производительности и о ContT

А соответственно остаются игрушками

Все эти extensible effects не думают о двух вещах, о производительности и о ContT

вроде о производительности уже норм, или не? все эти открытые объединения

Все эти extensible effects не думают о двух вещах, о производительности и о ContT

а о ContT, много им пользуются?

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

Всякие freer решили проблемы с печальной асимптотикой, но это не дает raw performance, это асимптотика

а о ContT, много им пользуются?

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

но я думаю Киселев когда-то допилит свою идею

Там нечего допиливать, идея изначально ограниченная

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

Это может стать полезным фреймворком в каких-то условиях, но никогда не заменит трансформеры

а какая идея не ограниченная?

а вы что думали?))) https://gist.github.com/gcanti/4edc2c46b37fb86cdf1234469d9734cc

а какая идея не ограниченная?

transformers

а mtl?

или фандепы это оверхед?

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

А что значит "алгебраические" эффекты? Выросшие не из IO?

mtl, monan-classes и т.п. это все трансформеры

просто более высокий интерфейс

а трансформеры могут больше одного ридера?

А что значит "алгебраические" эффекты? Выросшие не из IO?

Это когда ты описываешь алгебру эффектов как что-то с кайндом * -> *, а потом запихиваешь это в free/freer и получаешь монаду.

Алегбра эффектов описывает операции, которые ты можешь делать.

а трансформеры могут больше одного ридера?

Да

@xgrommx хоть 100

ты ж руками в нужный уровень лезешь