существует куча неудачных классических примеров :(

особенно в хаскеле

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

а то люди приходят, смотрят и не понимают "а зачем было делать на фримонадах"

Так как тайпклассы это просто неявнопередающиеся словарики (почти), то я добавил четвертый вариант - tagless final via record. Из фишек - можно делать разные "инстансы" на одни и те же монады. Из минусов - нужно явно пробрасывать словарик. https://gist.github.com/kana-sama/6fc14ce18bc10303a36c047fbf36a043#file-4-tagless-final-record-hs

мне кстати фримонады напомнили эрланг чем то

что мы теряем?

возможность специализации и отсуствия indirection если это важно

но в целом я такой подход предпочитаю

возможность специализации и отсуствия indirection если это важно

можно подробнее про специализацию и inderection?

в Data { foo:: ...} у нас indirection и вызов неизвестной функции

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

вообще-то этот подход с передачей словаря нормально оптимизируется

@JelF1337 кстати, а что вы считаете удачным примером фри-монад? Такой, где нужно выполнение приостанавливать и восстанавливать?

А мне самому интересно

у нас такое было, но с operational вместо free

там были стейтмашинки и их выполнято

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

у нас такое было, но с operational вместо free

посмотрел, это же и есть freer

in disguise

так, я начинаю не любить кастомные прелюды

обновил Universum и пришлось править проект

#129: Reexport id. - гора варнингов потому что начал юзать id для простых id #136: Change foldl' type back, add flipfoldl' instead. - поменяли местали аргументы :(

136 же sedом чинится?

а зачем они реэкспортят id? вообще это конечно была плохая идея так функцию называть из прелюдии

я тоже не понял зачем сначала было убирать id

а потом возвращать

https://github.com/serokell/universum/issues/129

причина конечно так себе

не, зачем убирать понятно

точнее делать identity вместо id

но зачем возвращать...

This is more user friendly.

я конечно могу hiding делать

но это уже какое-то прелюда над прелюдой начнет собираться

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

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

за что универсум любить-то? Это же адище

за что универсум любить-то? Это же адище

критикуешь - предлагай )

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

Cc @chshersh

за что универсум любить-то? Это же адище

Оч даже не адище..

это же в юниверсуме туплоборчество? Хороший признак, что автор альтпрелюдии поехавший

обычная прелюдия это где String везде где нужны строки? )

отличный вариант

Cc @chshersh

зачем поломали id и fold? :)

Ой не спрашивай...

Сами в шоке...

ну просто когда открываешь issue с id - оч смешная причина

да, точно, именно в универсуме https://github.com/serokell/universum/blob/master/src/Universum/Container/Class.hs#L15

identity - очень хорошее решение было

identity - очень хорошее решение было

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

абсолютно ничего хорошего

identity - очень хорошее решение было

Передам ;)

просто ломатель уже написанного кода с 0 пользой от этого

много написанного кода использует id? 🙂

Там MIT лицензия

берешь и форкаешь ©

много написанного кода использует id? 🙂

много

просто ломатель уже написанного кода с 0 пользой от этого

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

просто ломатель уже написанного кода с 0 пользой от этого

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

вот из-за таких фантазий прелюдии негодные и выходит

вот начать выпиливать "потому что не юзер-френдли" точно странное рещение

гораздо удобнее иметь возможность называть переменные id ) чем поддерживать какой-то мифический старый код который все равно надо переписывать чтобы он завелся с новой прелюдией

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

это немного убивает весь смысл

немного убивает. а нестыкующаяся убивает в основном

особенно когда нестыковки изобретают ради нестыковок со смешной мотивацией

нестыковки это побочный эффект того что делают нормальный api

сделать нормальный api не меняя api это бред какой-то

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

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

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

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

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

нет, конечно

там половина прелюдии это "не самое удачное решение" и именно поэтому обеспечить совместимость api это утопия какая-то

а Foundation норм, кстати?

я вот думаю что пора валить с прелюдии но не придумал куда

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

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

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