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

а еще функция которая ничего не делает (x => x) попахивает

а еще Id монада которая ничего не делает попахивает

Чёт пришёл в выходной на работу потому что был рядом и делать было нафиг. Сижу теперь чатики читаю в офисе. Такие дела. Таки да, хай бледнолицые.

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

Монад т.е.

Почему это не апликатив такой универсальный например

Let’s look more closely at the type of (>>=). The basic intuition is that it combines two computations into one larger computation. The first argument, m a, is the first computation. However, it would be boring if the second argument were just an m b; then there would be no way for the computations to interact with one another (actually, this is exactly the situation with Applicative). So, the second argument to (>>=) has type a -> m b: a function of this type, given a result of the first computation, can produce a second computation to be run. ... Intuitively, it is this ability to use the output from previous computations to decide what computations to run next that makes Monad more powerful than Applicative. The structure of an Applicative computation is fixed, whereas the structure of a Monad computation can change based on intermediate results.

у тебя уже сообщения попахивают. Если ты таскаешь Option<Option<T>>, то тут что-то не то.

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

Спасибо Стас

чуваче кто может помочь

У меня Option<T> в котором T может оказаться например Option<int>

вопрос в том, что это значит?

зависит от задачи

например None может означать что записи в БД нет, а Some(None) что запись есть и она Null

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