Телеграмм чат группы fp_ru страница 342

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

ФП

335 membersпожаловаться на группу

2021 March 24

АГ

Александр Гранин... in ФП

Я пытаюсь понять ФП.
Вроде все просто, но как сделать что-то свое не понятно.
Пытаюсь сделать механизм транзакций для функций.
У меня есть некая функция, которая возвращает результат и ждет завершения цепочки. Оборачиваем ее 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
Ниже есть тесты как это работает

Привет! В точности то, что я уже делал (Software Transactional Memory). Да, Free monad, но не слишком простой:

https://github.com/graninas/cpp_stm_free

(Есть еще версия для Haskell)

graninas/cpp_stm_free

Composable monadic STM for C++ on Free monads. Contribute to graninas/cpp_stm_free development by creating an account on GitHub.

источник

11:56пожаловаться #1

DK

Daniil Kostin in ФП

Александр Гранин

Привет! В точности то, что я уже делал (Software Transactional Memory). Да, Free monad, но не слишком простой:

https://github.com/graninas/cpp_stm_free

(Есть еще версия для Haskell)

graninas/cpp_stm_free

Composable monadic STM for C++ on Free monads. Contribute to graninas/cpp_stm_free development by creating an account on GitHub.

О, спасибо, не ожиданно.

источник

11:58пожаловаться #2

АГ

Александр Гранин... in ФП

Нужна некая сущность которая может вернуть результат и одновременно ждать "остальных" или команды того, кто ее исполняет. Иначе она сама занает как откатиться назад

stm::STML<stm::Unit> takeForks(const TForkPair& forks) {
    stm::STML<stm::Unit> lm = takeFork(forks.left);
    stm::STML<stm::Unit> rm = takeFork(forks.right);
    return stm::sequence(lm, rm);
}

Вот здесь функции takeFork "делают" что-то свое мутабельное с данными в виде транзакций, а потом объединяются в еще большую транзакцию. Слово "делают" не вполне верное, потому что тут декларация. Выполнение будет уже после.

источник

11:58пожаловаться #3

АГ

Александр Гранин... in ФП

О, спасибо, не ожиданно.

У меня есть несколько материалов для прояснения темы:

- Туториал
https://gist.github.com/graninas/c7e0a603f3a22c7e85daa4599bf92525
- Доклад
https://www.youtube.com/watch?v=VHZPcz8HwZs

Software Transactional Memory in C++: Pure Functional Approach (tutorial)

Software Transactional Memory in C++: Pure Functional Approach (tutorial) - cpp_stm_free_tutorial.md

источник

12:00пожаловаться #4

АГ

Александр Гранин... in ФП

Для C# я тоже хотел сделать, но руки не дошли

источник

12:00пожаловаться #5

АГ

Александр Гранин... in ФП

Версия для Haskell:
https://github.com/graninas/stm-free

Примеры для C++ версии:
- https://github.com/graninas/stm_samples
- https://github.com/graninas/cpp_philosophers_stm

В общем, материалов много, спрашивайте, если что нужно

graninas/stm-free

STM on Free monads. Contribute to graninas/stm-free development by creating an account on GitHub.

источник

12:03пожаловаться #6

АГ

Александр Гранин... in ФП

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

Вот здесь есть проблема. Не всякое IO действие можно откатить. И общего алгоритма rollback не существует

источник

12:05пожаловаться #7

АГ

Александр Гранин... in ФП

Поэтому транзакционные модели предполагают только изменение данных, но не эффекты. Эффекты можно привязать к результату выполнения/невыполнения транзакции

источник

12:05пожаловаться #8

DK

Daniil Kostin in ФП

Александр Гранин

Вот здесь есть проблема. Не всякое IO действие можно откатить. И общего алгоритма rollback не существует

там условно, у меня реальные транзакции базы, которе надо объединить в UnitOfWork
Но нет механизмов как C#

источник

12:06пожаловаться #9

АГ

Александр Гранин... in ФП

там условно, у меня реальные транзакции базы, которе надо объединить в UnitOfWork
Но нет механизмов как C#

Тогда, пожалуй, лучше подойдет другой мой подход, тоже Free monad based. Транзакции к БД, которые могут быть вложенными друг в друга. Но здесь есть только пример на Haskell

источник

12:07пожаловаться #10

АГ

Александр Гранин... in ФП

Есть фреймворк Hydra. В нем есть Free monad based язык SqlDB, на котором можно описывать несколько транзакционных запросов к БД и выполнять их как одну в рамках реальных транзакций:

https://github.com/graninas/Hydra/blob/60d591b1300528f5ffd93efa205012eebdd0286c/lib/hydra-free/src/Hydra/Core/Lang/Language.hs#L39

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

graninas/Hydra

Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support. It's currently moving to the production-ready state - gran...

источник

12:11пожаловаться #11

АГ

Александр Гранин... in ФП

@danleech У вас с Haskell как?

источник

12:11пожаловаться #12

АГ

Александр Гранин... in ФП

Может, мне лучше порекомендовать свою книгу? Там это описано

источник

12:11пожаловаться #13

DK

Daniil Kostin in ФП

Александр Гранин

Тогда, пожалуй, лучше подойдет другой мой подход, тоже Free monad based. Транзакции к БД, которые могут быть вложенными друг в друга. Но здесь есть только пример на Haskell

У меня основная проблема, что транзакция в моем окружении - функция с приватной зоной отлова ошибок. И мне надо внедрить управление внутрь каждой такой функции через транзакцию уже моей реализации. Или писать ORM свое.

источник

12:11пожаловаться #14

АГ

Александр Гранин... in ФП

Что такое "приватная зона отлова ошибок"? Некий try, сидящий в глубине?

источник

12:12пожаловаться #15

АГ

Александр Гранин... in ФП

Вообще, описание задачи довольно расплывчатое

источник

12:12пожаловаться #16

IZ

Ilia Zviagin in ФП

У меня основная проблема, что транзакция в моем окружении - функция с приватной зоной отлова ошибок. И мне надо внедрить управление внутрь каждой такой функции через транзакцию уже моей реализации. Или писать ORM свое.

Мне кажется, что у тебя в голове всё перемешано в адской мешанине...
Не знаю, может я неправ — это было бы хорошо.

источник

12:12пожаловаться #17

DK

Daniil Kostin in ФП

Александр Гранин

Может, мне лучше порекомендовать свою книгу? Там это описано

я только за.
я код понимаю, но сам пока в ФП мало что могу написать. Только простенькое - операции над завернутыми числами.

источник

12:12пожаловаться #18

АГ

Александр Гранин... in ФП

https://leanpub.com/functional-design-and-architecture/

Functional Design and Architecture

Software Design in Functional Programming, Design Patterns and Practices, Methodologies and Application Architectures. How to build real software in Haskell with less efforts and low risks. The first complete source of knowledge.

источник

12:13пожаловаться #19

JS

Jerzy Syrowiecki in ФП

Александр Гранин

Вот здесь есть проблема. Не всякое IO действие можно откатить. И общего алгоритма rollback не существует

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

источник

12:13пожаловаться #20