монады качай бесплатно без смс

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

Ну, так она и свободная и бесплатная.

платишь написанием кода. в случае бесплатной монады ты не платишь написанием кода специально для монад

Не понял, а сама реализация свободной монады это не код?

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

ну да бесплатный наверное лучше) ибо это докостыливает >>=

а слово "свободный" означает возможность изменения каких-то параметров (ну, я всегда так думал), например, положения в пространстве. по какому параметру свободна "свободная" монада? нет, она жёстко привязана к функтору, никакой свободы, наоброт

Не понял, а сама реализация свободной монады это не код?

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

а слово "свободный" означает возможность изменения каких-то параметров (ну, я всегда так думал), например, положения в пространстве. по какому параметру свободна "свободная" монада? нет, она жёстко привязана к функтору, никакой свободы, наоброт

В итоге можно предоставить любой join?

Так же как я не реализую ReaderT отдельно для каждого типа среды, теперь это "бесплатный" ридер?

В итоге можно предоставить любой join?

куда можно предоставить?

куда можно предоставить?

foldFree

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

Так же как я не реализую ReaderT отдельно для каждого типа среды, теперь это "бесплатный" ридер?

да, можно так сказать

В итоге можно предоставить любой join?

ну вот так например) runMonad :: Functor f => (a -> f a) -> (f (f a) -> f a) -> Free f a -> f a runMonad u j = cata go . unfree where go (ReturnF x) = u x go (BindF x) = j x

по сигнатуре видно что где должно быть)

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

видимо, при реализации в Хаскелле генераторы выкинули

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

в хаскелле это не формализация математики, это “по мотивам” инструментарий

моя артистическая интерпретация "свободных" структур в том, что они ни к чему не привязаны (к конкретной реализации) и представляют собой эссенцию некой структуры

Free там это сокращение от Freek

не более того

например, мы можем проинтерпретировать список (свободный моноид) с помощью любого конкретного mconcat

тогда нету неоднозначности и все на своих местах

Слово «Free» в свободной монаде – отсылка к теории категорий, где она понимается как левое сочетание забывающей операции (Разные трактовки свободной монады от нескольких Haskell-гуру можно почитать здесь : http://stackoverflow.com/questions/13352205/what-are-free-monads. Прим. переводчика). То есть, если мы возьмём монаду, скажем, State s, с return, bind, fmap, put и get операциями, и забудем первые две, то мы сможем восстановить монаду как Free (State s), с протезированием return и bind.

моя артистическая интерпретация "свободных" структур в том, что они ни к чему не привязаны (к конкретной реализации) и представляют собой эссенцию некой структуры

это конечно правда для “свободных” структур, но это и правда для других абстрактных концептов, например Products

Не, летом было пять-шесть срачей о том какой учебник лучше. Переживать их снова -- увольте

ты же только подтвердил мое сообщение

тоже эссенция умножения, тоже имеет свою структуру

так тьюпл это и есть free product

а в качестве non-free product можем рассмотреть какие-нибудь pairing functions для чисел

по крайней мере, в моей артистической интерпретации (ладно, пора прекращать)

то есть Free бесплатна по затратам на реализацию, но свободна от семантики/интерпретации? тогда всё встаёт на свои места

cartesian product графов рассмотри, это тоже product, но free не пахнет

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

как насчет “свободна от математики”?

как насчет “свободна от математики”?

👍

от смысла свободна конкретного, как и положено в CT, abstract nonsense

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

надо математику освободить от слова "free". заставлять его специализировать до "cost-free" или "independent"

это нетолерантно!

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

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

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

Ифкуиль — самый толерантный язык

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

зато- полна!

Он не толерантен к тем, кто его не осиливает изучить

наконец-то математика сможет объяснитьв все в этом мире

Давайте где-нибудь сделаем Wiki с переводом FP терминов на русский

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

ну как бы так и есть) просто может нет еще более высшей степени) Наприме Евклид считал что его аксиомы неоспоримы, а оказалось просто его геометрия была лишь частным случаем более общего (Риман, Лобачевский)

Халявные монады

халяльные же

Давайте где-нибудь сделаем Wiki с переводом FP терминов на русский

а назовем ее "теория категорий"

liftFree - выжатьХаляву

Давайте где-нибудь сделаем Wiki с переводом FP терминов на русский

функтор - картабельный

тут недавно в твиттере предлагали переименовывать Functor в Mappable, а Monad в Bindable

потому что непонятно

tbh было бы неплохо

А то ведь путают с КТ-ными функторами и монадами

хотя это очень такой special case

с Bindable не согласен категорически(pun intended), т.к. Monad все таки пачку законов подразумевает и может быть выражено через return/join без bind

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

Ну я тоже предпочитаю смотреть на монаду как на fmap+join+return, только bind остается самой используемой операцией

а потому bindable более приближен к реальности

free bindable

все больше и больше на порнобаннеры похоже

free это вообще pun для tree, потому что обобщение дерева

s/free/tree/g

и вопрос закрыт

tree monad

Free Pair это обычное бинарное дерево (data Pair a = P a a)

Free [] это обычное N-арное

Точно говорю, кто-то называл и хихикал

прекратите это) мы же не в чатике по жс

Free Pair это обычное бинарное дерево (data Pair a = P a a)

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

простейшая монада это Identity

тут все сказано https://www.stackage.org/haddock/lts-9.13/free-4.12.4/Control-Monad-Free.html#t:MonadFree

ок просто свободной монадой

список не подходит)

а чего не Proxy?

прокси вообще хак какой-то

Proxy проще Identity