Comonad вообще то совсем для меня неизвестная штука

Для меня тоже. Пока выглядит странновато

Пнрнвернув монадные функции, ты получаешься рядом с данными. Монады о коде, а комонады, похоже, о данных

Там по факту предлагается маскировать данные неким типом,который умеет их получать из разных источников, т.е. условный lazy

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

Пока сам не разобрался, хотя вторую неделю грызу

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

А если на клиенте, то можно клиентским приложением обращаться к разным web-api допустим.

https://www.google.ru/amp/s/bartoszmilewski.com/2017/01/02/comonads/amp/

Мне почему то кажется, что сама абстракция глубже. Ну как с монадами, которые везде

Гляну внимательнее, тема в целом интересная

С помощью комбинатора recover мы можем вернуть всю структуру данных в память: recover back_to_RAM scattered Или и вовсе пройтись с эффектом по разбросанной структурой данных, по ходу дела восстанавливая сегменты в памяти и применяя к ним такую же функцию как и к значениям в памяти. Можно многозадачность так реализовывать на различных процессах. Или транзакционность.

Крутая штука.

Сам прибалдел. Но пока не понял ?

https://gist.github.com/hodzanassredin/fd6650aee7557ec85d46

http://tomasp.net/blog/2014/why-coeffects-matter/

Как я понял ,к каждому значению цепляется контекст его начитки/сохранения

И да,из этого можно сделать слово на букву b

Хорошо зайдет с новыми тп из классов - для сериализаторов

Ну ведь интересно же, черт возьми

Безусловно

Еще как зайдет, если понять

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

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

Это о кофри монадах. А вот сами команады более интересны мне пока. Грубо говоря, вывернутый мир

Мы же хорошо знаем как монада и моноид сочетаются. Но как сочетаются команада и моноид? А команада и комоноид?

Книжку Влашина про DDD читаешь?

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

ДДД - это хорошое начало. Но по мне сейчас оно уходит. Вот чутье подсказывает, что домен уступает функциональному действию

Чем дальше, тем больше понимаю, что язык выражает сознание. Разница в F# и C# именно в этом ?

Так что - я пишу на F# надо сделать осознанием, что ты работаешь совсем на другом уровне, чем на C#, мозг другой - ты я вно круче, донести бы до ichar.

Так что - я пишу на F# надо сделать осознанием, что ты работаешь совсем на другом уровне, чем на C#, мозг другой - ты я вно круче, донести бы до ichar.

хычарам вообще пофиг кого искать. проблема не в них

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

Там в конце книги есть про персистенс немного.

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

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

Это из-за aggregates root ?

Это из-за включений бизнес-операций в доменные объекты. Корень агрегации уже совсем патология

Сам по себе я не функциональщик ни разу - у DDD проблемы уже с точки зрения ООП.

У DDD проблем нет. Проблемы с пониманием DDD. Так же как и OOП совсем никакого отношения к текущей реализации в языках не имеет.

А ни у кого нет проблем с F# interactive в райдере? не могу его заставить работать, просто не стартует новую сессию

хотя при этом c# iteractive работает

А ни у кого нет проблем с F# interactive в райдере? не могу его заставить работать, просто не стартует новую сессию

Не могу подтвердить, у меня только что нормально стартовалась.

Не могу подтвердить, у меня только что нормально стартовалась.

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

+ только что обновила райдер но все равно тоже самое

В евент логе ничо интересного нету?

неа, чисто все

Ну мб тогда через фидбэк репортни. Там была кнопка чтоб приложить внутренние логи.

https://t.me/vshapenko_builders ↑ все высказывания Василия про билдеры

?

Пробовал ли кто-нибудть FAKE5? У меня новый синтаксис #r "paket: groupref CI" вызывает ошибку Assembly reference 'paket: groupref CI' was not found or is invalid.

Пробовал ли кто-нибудть FAKE5? У меня новый синтаксис #r "paket: groupref CI" вызывает ошибку Assembly reference 'paket: groupref CI' was not found or is invalid.

А запускал чем? Теперь нужно только fake5

хм. каким-то образом у меня установился FAKE - F# Make "4.63.2" вместо 5. вообще я думал этот новый синтаксис #r относится не к fake, а к fsi.

Нет, в fake5 внутри какой-то матёрый препроцессор скрипта встроен

И Пакет у него встроенный, монстр какой-то

спасибо.

У DDD проблем нет. Проблемы с пониманием DDD. Так же как и OOП совсем никакого отношения к текущей реализации в языках не имеет.

Это да - ddd вообще идеальна, просто 100% людей трактуют ее неверно.

Там в конце книги есть про персистенс немного.

полистал внимательнее, нашел то что нужно там )

Привет.

Привет.

добрый вечер)

полистал внимательнее, нашел то что нужно там )

Ее

единственное пока не удобно то что персистанс уровень я хотел делать на C# и MongoDB чтобы сохранить корректно DU как поле у рекорда приходится делать отдельную модель с явным кастом. Возможно надо капнуть глубже )

Нубский вопрос

а насколько MailboxProcessor сейчас актуален?

Вопрос неясен

https://fsharpforfunandprofit.com/posts/concurrency-actor-model/

просто сейчас нашла вот такую статью и она кажется несколько устаревшей

типа для этих целей лучше взять акку наверное, нет?

Ну акка будет из пушки по воробьям скорее

Akka тащит за собой гору проблем. Если тебе хватит для решения задачи Mailboxprocessor, лучше юзай его.

Для примеров в статье, MP более чем адекватен.

Я лично использую его для хранения состояния и для синхронизации доступа к ресурсам

https://twitter.com/zaid_ajaj/status/1003344009593610240

https://twitter.com/verge/status/1003370586410815488 GitHub старый новый дом

https://twitter.com/verge/status/1003370586410815488 GitHub старый новый дом

Звучит хорошо

https://twitter.com/zaid_ajaj/status/1003344009593610240

Интересно, зачем ему там квотейшны

Интересно, зачем ему там квотейшны

Чтобы из них запросы строить.

Чтобы из них запросы строить.

А, понял зачем. Чтобы линковские квери совать

А, понял зачем. Чтобы линковские квери совать

Где ты их видишь?

Где ты их видишь?

Квотейшн в него скорее всего преобразуется

Надо в коде глянуть

Чтобы из них запросы строить.

Если я говорю, это значит, что я уже посмотрел в коде.

https://github.com/Zaid-Ajaj/LiteDB.FSharp/blob/master/LiteDB.FSharp/Query.fs

А,он бсоновские запросы строит

Тоже вариант

Я,кстати, так и не понял в итоге, как в litedb ключом сделать енам

Поэтому пришлось пойти по другому пути и в апи запросов передавать предикат

Что не очень удобно

TIL https://github.com/fsharp/fslang-design/blob/master/FSharp-4.0/ExtensionPropertyInitializersDesignAndSpec.md

Привет.

привет

чем yield! от yield отличается? вернее, что такое yield! вообще?

Это ж вроде для computation expressions

чем yield! от yield отличается? вернее, что такое yield! вообще?

Можешь рассматривать yield! в качестве IEnumerable.SelectMany.

https://theburningmonk.com/2011/09/fsharp-yield-vs-yield/

спасиб

Коллеги, есть теоретический вопрос

Есть два состояния, условно ok и none

Есть мейлбокс, который возвращает текущее состояние

У ок долгая инициализация

Как мне организовать код, чтобы, пока ок инициализируется, возвращалось none?