зачем?

Ага, переинженирили, теперь решили откатить

Хм, чет странное

Там же интероп на эффектах был, как в IO указывать, что за эффект будет?

https://twitter.com/paf31/status/909139230554710016

Или IO будет покрывать все колы в жс?

не успел я посомтеть язык с Eff

Всё равно Eff всегда пух до размеров IO :)

хотелось понять как он от хаскеля отличается

эфф останется, просто не будет предпочтительнее

отличался он просто параметризацией по рекорду с метками эффектов

типа синтаксические эффекты

о да, наконец-то!

так достало делать IO вручную

Какой-нибудь @purescript_ru есть?

так достало делать IO вручную

удобно наверное было :)

c другой стороны, такая дикая изменчивость языка — это то, что мешает мне юзать PureScript в проде

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

Нужно с нуля переписывать, иммутабельная разработка

ага, ништяк

а еще самый цимес в том, что важные библиотеки они ведь тоже с лагом обновляются

не успел я посомтеть язык с Eff

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

тот же purescript-aff для 0.10.0 кажется конкретно долго обновлялся

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

и если обновился и пофиксил своё, то чужое — так и будет лежать ломаным полгода, и всё равно аппликуха не будет работать

вот хороший язык, но обратная совместимость — это аццкий трындец...

prs are welcome как говорится :)

?

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

так я не PR хочу делать, я хочу проект сдать, например ?

раньше всегда относился к Eff как к замене MTL

А MTL — это что?

Не, это другой эфф

композиция монад

Мне Eff больше на FreeMonad был похож

а, monad transformer

Мне Eff больше на FreeMonad был похож

можешь раскрыть мысль?

да нет же, эфф чисто на уровне синтаксиса всегда работал

ну также, как и сахар для монад

не?

да нет же, эфф чисто на уровне синтаксиса всегда работал

так вот этот row type это просто фантом был?)

FreeMonad подразумевает интерпретатор, который "отработает потом". Eff сразу выполнялись

ну так на то пюреха и неленивый язык

ага

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

ну вот и мне тож так казалось

А как теперь описывать жс сайд эффекты?

Мне Eff больше на FreeMonad был похож

Freer

А как теперь описывать жс сайд эффекты?

Ну просто IO на все эффекты

решил ознакомиться с рекомендованной

https://hackage.haskell.org/package/hset

Eff плоский, в отличие от стэка трансформеров

иии в общем это лучшая организация модулей/документации

https://hackage.haskell.org/package/hset-2.2.0/docs/Data-HSet.html и дальше подмодули гет, модифай

Просто Лёша не стал реэкспортить подмодули :)

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

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

ну как бы очень плохая аналогия

IO — это монада, eff сам по себе не монада

Ну аналогия не моя, я почти процитировал того чувака с твитора из пурсы

"Eff in PS is like IO with phantom type". Возможно ты говоришь про идрисовые эффекты

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

"Eff in PS is like IO with phantom type". Возможно ты говоришь про идрисовые эффекты

так иделя алгебраических эффектов общая

привет, у кого-нибудь есть 'haskell programming from first principles' ?

есть

реализация в идрисе своя, но мысль там та же

IO — это монада, eff сам по себе не монада

монада же и приносит эффект

монада же и приносит эффект

не понял

Я знакомился с пейпером про расширяемые эффекты и ничего общего с эффом из пурсы я не увидел общего. И таки эфф в пурсе это именно монада

ну это короче сравнения уровня — монадо это буррито

?

Я знакомился с пейпером про расширяемые эффекты и ничего общего с эффом из пурсы я не увидел общего. И таки эфф в пурсе это именно монада

ну фигово значит сделано)

а кто-нибудь контачит с Филом? Если б его можно было уговорить приехать к нам на конфу — так сами и спросили бы

про конкретную реализацию в pure script я не в курсе, но монада > eff

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

так вот зачем я этот hset достал. можно было бы сделать data Eff effect a = IO a main = mainWithEffects mainWithEffects :: Eff effect a и дальше переписать print на принт с эффектом консоли/блокировки ну и всё подобное. и нужно чтобы все эти эффекты на уровне типов хранились в неупорядоченном множестве. хотя мб список на уровне типов тоже бы подошёл (не представляю реализации, но и делать всего такого тоже не собираюсь, просто захотелось представить как это сделали в пурсе и неподсматривать)

Я же говорю, в пурсе судя по всему не алгебраические эффекты, это просто тегироаанный IO, миснейминг

ладно, думал ты про eff в целом

ну фигово значит сделано)

вся ветка про то что у фила другой eff. это как говорить про ST из хаскеля и идриса

так вот зачем я этот hset достал. можно было бы сделать data Eff effect a = IO a main = mainWithEffects mainWithEffects :: Eff effect a и дальше переписать print на принт с эффектом консоли/блокировки ну и всё подобное. и нужно чтобы все эти эффекты на уровне типов хранились в неупорядоченном множестве. хотя мб список на уровне типов тоже бы подошёл (не представляю реализации, но и делать всего такого тоже не собираюсь, просто захотелось представить как это сделали в пурсе и неподсматривать)

ну так вроде там и есть некая оптимизированная очередь с freer в extendable-effects от Киселева

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

так вот зачем я этот hset достал. можно было бы сделать data Eff effect a = IO a main = mainWithEffects mainWithEffects :: Eff effect a и дальше переписать print на принт с эффектом консоли/блокировки ну и всё подобное. и нужно чтобы все эти эффекты на уровне типов хранились в неупорядоченном множестве. хотя мб список на уровне типов тоже бы подошёл (не представляю реализации, но и делать всего такого тоже не собираюсь, просто захотелось представить как это сделали в пурсе и неподсматривать)

https://hackage.haskell.org/package/freer-0.2.4.1/docs/Data-FTCQueue.html

привет, у кого-нибудь есть 'haskell programming from first principles' ?

есть, а что?

есть, а что?

Кстати, а она в бумажном виде вообще когда-нибудь выйдет?

без понятия, после того как поругался с Алленом не интересовался

Брагилевский же все сказал про нее

без понятия, после того как поругался с Алленом не интересовался

Из-за чего?

ну помнишь всю эту историю с haskell-lang.org

а что за история

их петициями с подписями людей, котоые не в курсе были о них и т.п.

я ему сказал, что он не прав, он вылил на меня тонну говна

@clayrat там естьв вечная война между комитетом и "новым поколением", типа hvr vs snoyman и все такое

можно наблюдать в каждом обсуждении cabal или stack

или сайта

или история с downloads.html на сайте haskell.org

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

и написали петицию

петиция вообще веселая была

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

в рабочем чятике я у них спросил, что это такое