а что значит "откатиться"?

Я пытаюсь понять ФП.
Вроде все просто, но как сделать что-то свое не понятно.
Пытаюсь сделать механизм транзакций для функций.
У меня есть некая функция, которая возвращает результат и ждет завершения цепочки. Оборачиваем ее TransactionTask<ResultType>(someFn(TransactionTask<ResultType> it)) для ее запуска нужен общий completer.
Transaction инициализирует completer, принимает цепочку TransactionTask и по endTx() запускает стек.

Подскажите, с чего начать?
Вроде похоже на FreeMonad, но не совсем. Если често я никак не могу понять как из ФП объектов Монада, Функтор собрать то, что мне надо.
Что такое контекст тоже не совсем понятно. Iterable<A> Iterable - контекст, А конкретный тип объекта в этом контексте?

Есть код, но там пока одна монолитная сущность Transaction, она сама как TransactionTask. Но нужна еще вложенность. Поэтому планирую, что репозиторий будет оборачивать исполнени каждого своего метода в TransactionTask. TransactionTask<PostData> create(String post) => TransactionTask.pure((it) ...);

pastebin.pl/view/f68173d4
Ниже есть тесты как это работает

Что за язык-то, кстати? Я чот не узнаю. Вроде плюсы, но нет списков захвата у лямбд и есть async/await

Async как я понимаю это второй отложеный результат
Мне скорее надо обертку над функцией

TransactionTask<ResultType> createTitle(String title) => TransactionTask<ResultType>.create((TransactionTask<ResultType> it) {

  // write title
  it.returnResult(titleData);
  var ok = await it.allCompleted();
  if(!ok) {
    // rollback
    // delete title
  }
}

Но потом какими методами должен обладать TransactionTask, чтобы делать цепочки с вложенными цепочками?
Или надо дополнительную обертку(монаду) над этим типа TransactionTasksCompleter<TransactionTask>?

Async как я понимаю это второй отложеный результат
Мне скорее надо обертку над функцией

TransactionTask<ResultType> createTitle(String title) => TransactionTask<ResultType>.create((TransactionTask<ResultType> it) {

  // write title
  it.returnResult(titleData);
  var ok = await it.allCompleted();
  if(!ok) {
    // rollback
    // delete title
  }
}

Но потом какими методами должен обладать TransactionTask, чтобы делать цепочки с вложенными цепочками?
Или надо дополнительную обертку(монаду) над этим типа TransactionTasksCompleter<TransactionTask>?

Я пытаюсь понять ФП.
Вроде все просто, но как сделать что-то свое не понятно.
Пытаюсь сделать механизм транзакций для функций.
У меня есть некая функция, которая возвращает результат и ждет завершения цепочки. Оборачиваем ее TransactionTask<ResultType>(someFn(TransactionTask<ResultType> it)) для ее запуска нужен общий completer.
Transaction инициализирует completer, принимает цепочку TransactionTask и по endTx() запускает стек.

Подскажите, с чего начать?
Вроде похоже на FreeMonad, но не совсем. Если често я никак не могу понять как из ФП объектов Монада, Функтор собрать то, что мне надо.
Что такое контекст тоже не совсем понятно. Iterable<A> Iterable - контекст, А конкретный тип объекта в этом контексте?

Есть код, но там пока одна монолитная сущность Transaction, она сама как TransactionTask. Но нужна еще вложенность. Поэтому планирую, что репозиторий будет оборачивать исполнени каждого своего метода в TransactionTask. TransactionTask<PostData> create(String post) => TransactionTask.pure((it) ...);

pastebin.pl/view/f68173d4
Ниже есть тесты как это работает

ФП было бы
return (titleData, await allCompleted())

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

как это в ФП превратить?
С чего начать?

А с чего ты вообще взял, что это должно быть FP?

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

Почему ты начал с транзакций для функций?

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