Например, на каждый вызов операции кидать инфу в лог

ЭТО НАЗЫВАЕТСЯ ПОМЕНЯТЬ ИНТЕРПРЕТАТОР

/me бьется головой о стол

ЭТО НАЗЫВАЕТСЯ ПОМЕНЯТЬ ИНТЕРПРЕТАТОР

С чего бы это

Например, на каждый вызов операции кидать инфу в лог

хм, но это же уже другой интерпретатор

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

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

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

У вас какой-то формалистический подход

тем не менее мы тут все друг друга поняли

и вроде on the same page, как говорится

хотя вроде с разными background-ами и не в одном месте работаем

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

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

Держать его мертвым грузом в проекте?

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

Время рассудит.

нет

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

я не спорю с тобой, я пытаюсь тебя понять

я не спорю с тобой, я пытаюсь тебя понять

Хорошо, спасибо

все, я понял

проблема: есть либа stm, есть код, который ее использует, нужно не меняя этот код добавить логирование

Продолжай :)

Да, такой кейс например

Или метрики снимать.

Или еще что.

решение @graninas: сделать интерфейс к либе, который будет будет реализовываться либой, и использовать ее

(очень хороший кейс для окамл-модулей имхо)

Похоже на правду

другое решение: просто сделать свой модуль, который будет иметь тот же интерфейс, что stm, но дополнительно логировать

решения одинаковые в случае одного интерпретатора

но что не нравится Александр , что нет разделения и абстракции

другое решение: просто сделать свой модуль, который будет иметь тот же интерфейс, что stm, но дополнительно логировать

Это если у тебя изначально функции нечистые в интерфейсе. Ну и задать этому второму модулю рантайм-инфу (куда логгировать) ты не сможешь, ведь в исходном интерфейсе эта рантайм-инфа отсутствует

Это если у тебя изначально функции нечистые в интерфейсе. Ну и задать этому второму модулю рантайм-инфу (куда логгировать) ты не сможешь, ведь в исходном интерфейсе эта рантайм-инфа отсутствует

да не, раннеры в новом модуле можно какие угодно делать

то есть "тот же интерфейс" - это скорее неформальная фраза

на самом деле у Free ещё бонусы по композабельности эффектов

важный вопрос

но формально это новый интепретатор

который может делать больше

Класса типов - да Модуль - нет. Тогда должна быть функция а-ля runThisAllStuff :: SomeRuntime -> ModuleStuff -> IO Result

@kana_sama Именно. Про раннеры я и написал здесь

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

телеграм меняет

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

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

Не то, как их автор задумывал? Проблема автора. Надо грамотнее дизайнить

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

а чем они являются?

Не то, как некоторые заресечили? Ничья проблема. Подходы должны быть разные

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

становится тяжело разговаривать

@graninas хм, я тут подумал и понял, что не прав, можно в тайпкласс ФТ запихнуть рантайм значения, надо просто компилировать в Reader (условно)

ещё раз FT ~ Free(r)

да

вот вообще 1 в 1

можно написать класс который при выполнении построит теги

@graninas хм, я тут подумал и понял, что не прав, можно в тайпкласс ФТ запихнуть рантайм значения, надо просто компилировать в Reader (условно)

Интересно. Думаю, да, так можно попробовать было бы. Но тогда раннер нужен

и можно написать интерпретатор который fold-ит теги

если под Free понимать не только free monad, то да

а если только?

ещё раз FT ~ Free(r)

ну как бы да, FT -> Free (через определение инстанса для FT) Free -> FT (через катаморфизм/анаморфизм для Free)

насколько я помню, то и фри интерпретаторы можно экстендить легко

у Free(r) и extensible-effects есть хорошие свойства по композабельности эффектов

про Free не знаю

а если только?

data RuleAlg r = RuleAlg { and :: r -> r -> r or :: r -> r -> r not :: r -> r prefix :: String -> r }

вот тут уже можно говорить про полезность

data RuleAlg r = RuleAlg { and :: r -> r -> r or :: r -> r -> r not :: r -> r prefix :: String -> r }

это уже Dealing with large Bananas или как-то так

это тоже FT

ну разновидностей много

я не очень понял к чему это было, но class ~ record

Datatypes a la carte это вообще объединенный подход

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

это по поводу Free

в данном случае тебе нужна начальная алгебра, т.е. "free" для RuleAlg будет data FRule = And FRule FRule | Or FRule FRule | Not FRule | Prefix String

не уверен, что термин free всё ещё корректно использовать в такой ситуации, но концептуально это и есть аналог Free для (FT-алгебры + Monad)

Free тебе даёт монаду for free. а тут мы ничего for free не получаем, кроме начального объекта, т.е. возможности сфолдить с помощью любой другой алгебры

правда и сам Free - тоже начальный объект в какой-то категории

в данном случае тебе нужна начальная алгебра, т.е. "free" для RuleAlg будет data FRule = And FRule FRule | Or FRule FRule | Not FRule | Prefix String

не будет это одно и тоже, надо паратремизировать

не надо, зачем?

а что ты хочешь построить? Free FRule?

каинды не сойдутся

нет, не хочу

а так это вообще просто adt

да

это к тому, что FT != Free

cфигали?

т.к. FT значительно более обширное понятие

изоморфизм построить можно

каинды не сойдутся

каинд (сходиться)

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

если уж все рассахарить досконально

f t -> t есть все структуры

моноиды, полугруппы

чего-то сегодня бекендсикрета мало

<sarcasm>На работе сказали, что надо работать, а не в твиттере сидеть весь день ? </sarcasm>

mtl круче free

каинд (сходиться)

это ты меня за грамматику подколол?)

mtl круче free

мтл как раз и есть final tagless

изоморфизм построить можно

если подразумевается Free как free monad?

мтл как раз и есть final tagless

а мужики то не знают

если подразумевается Free как free monad?

а как ты еще фри хочешь?