Если очень грубо: вот у тебя есть N монад, ты добавляешь ещё одну. Надо организовать взаимодействие с N монадами. Не всегда это автоматически удаётся сделать.

Но это если грубо.

А, ну примерно вроде понял.

Надо погонять 2-3 примерчика, и поверхностное понимание сложится. А дальше по идее должно быть проще.

https://ru.wikibooks.org/wiki/Haskell/Monad_transformers

Во что есть!

М, сендвичи

https://ru.wikibooks.org/wiki/Haskell/Monad_transformers

Ага, спс, сейчас как раз туда гляжу.

Курс на Степике попробуй, он годный. Можно сразу со второго.

Он бесплатный?

А то я пока бомжую.

Да и Haskell у меня как хобби, а не как профессия.

Бесплатный.

Монадки вкладывать можно и без трансформеров. Но придётся руками обеспечивать "перенос эффекта". А с трансформерами нужно просто лифтить нужное кол-во раз :)

Кол-во уровней вложенности будет влиять только на кол-во вызовов lift для доступа к конкретному слою. Если взять подход mtl, то можно не лифтить руками при условии, что слои будут разные

Да и Haskell у меня как хобби, а не как профессия.

Ну если ты уже до монадных трансформеров дошёл, то курс нормально проведёт дальше по миру Haskell :)

Еще можно написать инстансы (Functor f, Functor g) => Functor (Compose f) и такой же для аппликатива. И разобраться почему нельзя написать такой же для монад

базовые монадки даже можно менять довольно general

Монадки вкладывать можно и без трансформеров. Но придётся руками обеспечивать "перенос эффекта". А с трансформерами нужно просто лифтить нужное кол-во раз :)

Аааа, так вот что там было за liftIO...

А есть всякие liftMaybe и так далее?

А есть всякие liftMaybe и так далее?

есть просто lift из MonadTrans

это обобщение всех случаев

@hotkosc держи, тут step by step https://two-wrongs.com/a-gentle-introduction-to-monad-transformers

О, спасибо!

это обобщение всех случаев

кроме IO :)

IO - особенная монадка. Если она есть в стеке, то всегда в конце

IO всегда должен быть на самом нижнем уровне в трансформерах

Потому как IO нельзя "распаковать и потом запаковать"

Поэтому не получится "сквозь IO" лифтить

нет такого понятния как IOT (хотя хз, можно unsafePerform но это зло)

unsafePerformIO выполняет IO, а lift - не "выполняет" поднимаемый action. Так что unsafePerformIO в принципе не подходит :)

Можно написать. Но придётся нарваться на всякие неприятные сюрпризы

data ParsecT s u m a А что вот в доках Parsec озаначает вот этот трансформер? Он одну в другую монаду заворачивает или там их больше?

Ну и в чём суть, а то я из доков не понял.

s u m a - это параметры типа.

Ну вот да, то есть каждый из них - суть отдельная монада?

Суффикс T говорит, что это ParsecT - это трансформер, т.е. его можно надеть на другую монаду.

Всмысле, параметр для понаты.

Суффикс T говорит, что это ParsecT - это трансформер, т.е. его можно надеть на другую монаду.

Это да, я раскурил.

Монада задаётся предпоследним параметром m, как правило.

Ну вот там даже ниже есть пример для монады Identity:

type Parsec s u = ParsecT s u Identity

Ну и в самом начале: ParsecT s u m a is a parser with stream type s, user state type u, underlying monad m and return type a.

Блин, пока чёт сложна.

Видимо, рано я полез Parsec курить.

На Степике есть упражнение по написанию своего парсера, если чо ;)

Круто!

А вообще, полезно разобраться с монадой State, тогда Парсек просто понять.

А вообще, полезно разобраться с монадой State, тогда Парсек просто понять.

ага потому-что самый простой парсер это StateT

На случай, если кто-то пропустил туториал по Backpack на примере реализации интерфейса для контейнеров.

New blog post about Backpack implementation for containers interfaces in Haskell • https://kowainik.github.io/posts/2018-08-19-picnic-put-containers-into-a-backpack

Потому как IO нельзя "распаковать и потом запаковать"

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

конструктор просто просит чтоб перед ним id поставили...

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

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

в VSCode

Это да, но я бы хотел юзать табы вместо спейсов

в кабалфайле?

Я не могу нагуглить, как там дать такую инструкцию

-fno-warn-tabs ?

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

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

Мне ужас как неуднобно. В С++ коде у меня табы, в хаскеле спейсы и там и там я использую ВСкод.

Наверно нужно гуглить как сеттить настройки для расширений файлов

Не заставило себя долго ждать

Есть вот такая штука

"editor.detectIndentation": true

ERROR: S client not available

Мне ужас как неуднобно. В С++ коде у меня табы, в хаскеле спейсы и там и там я использую ВСкод.

У vscode есть настройки рабочих областей, тогда будте создана директория .vscode с файлом settings.json и там настройки можно указать локальные для текущего проекта

ну или просто перейти везде на спейсы

"[haskell]": { "editor.tabSize": 4 },

Наверно нужно гуглить как сеттить настройки для расширений файлов

Можно переопределять локально глобальные настройки

Мне ужас как неуднобно. В С++ коде у меня табы, в хаскеле спейсы и там и там я использую ВСкод.

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

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

А какая существует связь между переносимостью кода и индентом?

"[haskell]": { "editor.tabSize": 4 },

Вместо вот такого можно еще .editorconfig юзать

А какая существует связь между переносимостью кода и индентом?

У разных людей Tab разной длины

Непереносимо :(

А какая существует связь между переносимостью кода и индентом?

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

Понял, спасибо:)

У разных людей Tab разной длины

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

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

radical! :-E

У меня даже в разных языках разные софттабы

> Second round of #CFP is now open for #FnConf18. We are looking for sessions on #Erlang #Elixir #Scala #Clojure #GoLang #APL & other #FunctionalProgramming languages отличный список ФЯ

ГОЛАНГ

Голаны.

& other Functional Programming language, теперь так Хаскель называется

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

> Second round of #CFP is now open for #FnConf18. We are looking for sessions on #Erlang #Elixir #Scala #Clojure #GoLang #APL & other #FunctionalProgramming languages отличный список ФЯ

>Scala "В мире слепых и одноглазый -- король"

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

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

Чуть-чуть более, да

менее продвинутый

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

более ленивый

Страшных слов надо не бояться

Насколько продвинутый Хаскелл?

где-то до конца 80-х - начала 90-х

> GC pauses that bring down your site during peak usage, at the most critical time of business for the company losing tons in revenue; leaked filehandles leading to “too many open files” and crashing your system; exceptions improperly ignored and dropped on the floor

где-то до конца 80-х - начала 90-х

А дальше Haskell не продвигали?

если сделают завтипы до конца 90-х продвинут

А хотя бы в 2010-ых какой язык?