Монументальная статья Bertrand Meyer "OBJECT-ORIENTED VS FUNCTIONAL"
http://se.ethz.ch/~meyer/publications/functional/meyer_functional_oo.pdf
Невозможно не прочитать ее.

#FunctionalProgramming #OOP #SoftwareDesign

Hexagonal Architecture от Alistair Cockburn:
- https://www.youtube.com/watch?v=th4AgBcrEHA
- https://www.youtube.com/watch?v=iALcE8BPs94
- https://www.youtube.com/watch?v=DAe0Bmcyt-4

#SoftwareDesign #HexagonalArchitecture

Статьи на частые вопросы по DDD:

- "What is domain logic?" by Vladimir Khorikov
- "Domain services vs Application services" by Vladimir Khorikov
- "Domain model isolation" by Vladimir Khorikov
- "Email uniqueness as an aggregate invariant" by Vladimir Khorikov
- "How to know if your Domain model is properly isolated?" by Vladimir Khorikov
- "Domain model purity vs. domain model completeness" by Vladimir Khorikov
- "Immutable architecture" by Vladimir Khorikov

- "Bounded Contexts are NOT Microservices" by Vladik Khononov
- "Tackling Complexity in Microservices" by Vladik Khononov
- "DDDDD: Bounded Contexts, Microservices, and Everything In Between" by Vladik Khononov

- "Overselling Event Sourcing" by Alexey Zimarev
- "Event Sourcing and Microservices" by Alexey Zimarev
- "Projections in Event Sourcing" by Alexey Zimarev
- "Event Sourcing and CQRS" by Alexey Zimarev
- "Entities as event streams" by Alexey Zimarev
- "Event Sourcing basics" by Alexey Zimarev
- "What is Event Sourcing?" by Alexey Zimarev
- "Event Sourcing and CQRS" by Alexey Zimarev

- "Effective Aggregate Design" by Vaughn Vernon

- "CQRS, Task Based UIs, Event Sourcing agh!" by Greg Young

- "Clarified CQRS" by Udi Dahan
- "How to create fully encapsulated Domain Models" by Udi Dahan

Актуальная версия списка доступна здесь.

#DDD

Designing a Domain Model to enforce No Duplicate Names [github] Steve Smith.
https://github.com/ardalis/DDD-NoDuplicates
You have some entity in your domain model. This entity has a name property. You need to ensure that this name is unique within your application. How do you solve this problem? This repository shows 11 different ways to do it in a DDD application where the goal is to keep this business logic/rule in the domain model.
#DDD

Новая книга от Gregor Hohpe, автора EIP, "Cloud Strategy: A Decision-based Approach to Successful Cloud Migration":
- https://architectelevator.com/book/cloudstrategy/
- https://www.amazon.com/Cloud-Strategy-Decision-based-Successful-Migration/dp/B08F6TVVTF

#DistributedSystems

О том, как выдавить из мозга максимум, и, при этом, продолжать жить, есть очень хорошая книга Барбары Оакли «Думай как математик» http://sergeyteplyakov.blogspot.com/2016/01/book-review-mind-for-numbers.html

Она описывает как работает мозг, и как с ним обращаться, чтобы тратить времени меньше, а достигать - больше.

#Career

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

📝 "A little reading goes a long way toward professional advancement. If you read even one good programming book every two months, roughly 35 pages a week, you’ll soon have a firm grasp on the industry and distinguish yourself from nearly everyone around you."
- "Code Complete" by Steve McConnell

📝 "We become authorities and experts in the practical and scientific spheres by so many separate acts and hours of work. If a person keeps faithfully busy each hour of the working day, he can count on waking up some morning to find himself one of the competent ones of his generation."
- William James

#Career

Actor Model на Golang:
- https://github.com/AsynkronIT/protoactor-go

Примеры:
- https://github.com/AsynkronIT/protoactor-go/tree/dev/_examples

Дока:
- https://proto.actor/docs/golang/

Учебный материал на Русском:
- https://github.com/AsynkronIT/protoactor-bootcamp/tree/master/C%23/RUS

Thanks to Alexey Zimarev!

#ActorModel #DDD

📝 "Когда кто-либо привязывается к одной какой-нибудь, хотя бы и верной, идее, то он, в сущности, попадает в то же положение, в каком находился бы человек, привязавший себя к столбу, для того чтобы не заблудиться. То, что может быть желанной истиной на известной ступени духовного роста, может быть помехой к этому росту и заблуждением на другой, более высокой ступени."
- Люси Малори

P.S.: Невероятно актуально для современной ИТ-индустрии, хотя и было сказано более 100 лет тому назад...

На эту же тему:

📝 "Professionals avoid getting so vested in an idea that they can’t abandon it and turn around. They keep an open mind about other ideas so that when they hit a dead end they still have other options."
- "Clean Coder" by Robert C. Martin

📝 "A good architecture comes from understanding it more as a journey than as a destination, more as an ongoing process of enquiry than as a frozen artifact."
- "Clean Architecture" by Robert C. Martin

📝 "Travel light - You can't expect to carry a lot of baggage and move fast.

The artifacts we maintain should be:

- Few
- Simple
- Valuable

The XP team becomes intellectual nomads, always prepared to quickly pack up the tents and follow the herd.

The herd in this case might be a design that wants to go a different direction than anticipated, or a customer that wants to go a different direction than anticipated, or a team member who leaves, or a technology that suddenly gets hot, or a business climate that shifts.

Like the nomads, the XP team gets used to traveling light.

They don't carry much in the way of baggage except what they must have to keep producing value for the customer—tests and code.

<...>

Travel light - suggests that the manager doesn't impose a lot of overhead - long all-hands meetings, lengthy status reports.

Whatever the manager requires of the programmers shouldn't take much time to fulfill.

<...>

Travel light - The design strategy should produce no "extra" design.

There should be enough to suit our current purposes (the need to do quality work), but no more.

If we embrace change, we will be willing to start simple and continually refine."
- "Extreme Programming Explained" by Kent Beck

На практике, достигнуть этого состояния не просто, и оно требует определенной дисциплины. В психологии это известно как Confirmation bias. Это и есть тот самый "груз", который ограничивает легкость "свободы предвижения".
- https://ru.wikipedia.org/wiki/%D0%A1%D0%BA%D0%BB%D0%BE%D0%BD%D0%BD%D0%BE%D1%81%D1%82%D1%8C_%D0%BA_%D0%BF%D0%BE%D0%B4%D1%82%D0%B2%D0%B5%D1%80%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D1%8E_%D1%81%D0%B2%D0%BE%D0%B5%D0%B9_%D1%82%D0%BE%D1%87%D0%BA%D0%B8_%D0%B7%D1%80%D0%B5%D0%BD%D0%B8%D1%8F

#Career

Хорошая статья о том, когда оправдано применять CRUD: https://blogs.msdn.microsoft.com/maarten_mullender/2004/07/23/crud-only-when-you-can-afford-it-revisited/

#DDD

На тему оценивания задач. Многие слышали про Story Point, но не многие знают его смысл и назначение, из-за чего он часто применяется неправильно.

История создания и смысл Story Point приводятся на сайте Agile Alliance - организации, созданной основателями Agile Manifesto. Сегодня это наиболее авторитетный интернет-сайт в области Agile: https://www.agilealliance.org/glossary/points-estimates-in/

А в следующей статье, один из ведущих авторитетов в области оценивания, Mike Cohn, рассказывает о связи между Story Points и единицами времени (часами): http://www.mountaingoatsoftware.com/blog/how-do-story-points-relate-to-hours

Пожалуй, лучшими книгами в области оценивания, являются:

- "Software Estimation: Demystifying the Black Art (Developer Best Practices)" by Steve McConnell

- "Agile Estimating and Planning" by Mike Cohn

В кратком, но достаточном для рядового разработчика, варианте, информацию об оценивании можно обрести в:

- "Clean Coder" by Robert C. Martin

#Agile

Eric Evans про Functional Programming в DDD (разверните п.5): https://www.infoq.com/interviews/Technology-Influences-DDD/

А здесь (на 51:25) Eric Evans говорит о том, что в своей книге DDD он не рассматривал глубоко функциональную парадигму потому, что в 2003 она не имела такого широкого применения, как сегодня. А сегодня, в контексте Event Sourcing, она имеет уже совсем другое значение: https://youtu.be/dnUFEg68ESM

Кстати, говоря про Event Sourcing, вот здесь Greg Young рассматривает переход от OOP к FP в ES: https://vimeo.com/131636650

#FunctionalProgramming #DDD

Вот эта картинка мне очень нравится

Даже в википедии 4 определения + одно замечание, а есть еще книжка https://www.amazon.com/Introduction-Solution-Architecture-Alan-McSweeney/dp/1797567616#ace-g0938393676 по сути своей учебник. Так что во всех смыслах :)

На удивление, среди подписчиков присутствует немало девушек. Этот пост будет для них.

О девушках в IT:

Robert Martin в Clean Architecture объясняет, почему в старых книгах программистов часто называли She:

📝 "Именно «ее», потому что в те годы программистами были в основном женщины."

"And she very likely would be female since, back then, women made up a large fraction of programmers."
- Robert Martin, "Clean Architecture", Preface

📝 "вернемся ненадолго в 1960-е годы, когда компьютеры были совсем юными, а большинство программистов были математиками или инженерами из других областей (и треть или даже больше были женщинами)."

"let’s take a trip back to the 1960s, when computers were teenagers and most programmers were mathematicians or engineers from other disciplines (and-one third or more were women)."
- Robert Martin, "Clean Architecture", глава "DEVICE INDEPENDENCE".

У него есть даже целые трактаты на эту тему:

- https://blog.cleancoder.com/uncle-bob/2017/10/04/WomenInDemand.html

- https://blog.cleancoder.com/uncle-bob/2017/08/14/WomenInTech.html

Популярное видео Jimmy Bogard про CQRS:
https://vimeo.com/190925521

#DDD #CQRS

Личное интервью Sergey Teplyakov с Bertrand Meyer:

http://sergeyteplyakov.blogspot.com/2014/05/interview-with-bertrand-meyer.html

Очень интересно.

#SoftwareDesign #FunctionalProgramming #OOP

Одной из непростых тем в DDD и микросервисной архитектуре является т.н. проблема "конкурирующих подписчиков".

Это когда два причинно-зависимых события попадают на конкурирующие узлы обработки событий, и второе событие может "обогнать" первое, например, по причине того, что при обработке первого события возникли сетевые издержки, или запустился сборщик мусора, или по какой-либо причине первое сообщение не было обработано и подтверждено (ack) с первого раза. Возникает гонка сообщений.

Например, NATS использует Round-robin для балансировки подписчиков группы, и там эта проблема хорошо проявляется.

Кроме того, доставка сообщений может пакетироваться из соображений оптимизации.

Один из примеров, который мне запомнился (с какой-то статьи) - это когда один из пользователей соцсети удаляет из списка друзей другого пользователя, и тут же шлет оставшимся друзьям письмо, в котором дискредитирует удаленного друга. Возникает два события, первое - на удаление друга, второе - на отправку сообщения списку оставшихся друзей. Причем, второе сообщение находится в причинной зависимости от первого, и должно быть обработано после первого. Возникает гонка событий.

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

Существует несколько стратегий решения этой проблемы:
1. Нивелировать побочные эффекты (устранить симптомы) от нарушения очередности событий (коммутативность).
2. Исключить причины нарушения очередности событий.
3. Восстановить очередность сообщений.
4. Восстановить очередность обработки сообщений.

Будем рассматривать каждый из вариантов поочередно в отдельных постах.

А пока - список литературы, который хорошо освещает эту проблему:

- "Designing Data-Intensive Applications. The Big Ideas Behind Reliable, Scalable, and Maintainable Systems" by Martin Kleppmann

- "Database Internals: A Deep Dive into How Distributed Data Systems Work" by Alex Petrov

- "Distributed systems: principles and paradigms" 3d edition by Andrew S. Tanenbaum, Maarten Van Steen

- "Database Reliability Engineering. Designing and Operating Resilient Database Systems." by Laine Campbell and Charity Majors

- "Event Sourced Building Blocks for Domain-Driven Design with Python" by John Bywater
https://leanpub.com/dddwithpython

Список литературы по интеграционным паттернам:

- "Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions" by Gregor Hohpe, Bobby Woolf

- "Reactive Messaging Patterns with the Actor Model: Applications and Integration in Scala and Akka" by Vaughn Vernon

- "Camel in Action" 2nd Edition by Claus Ibsen and Jonathan Anstey

Примеры интеграционных паттернов:

- https://github.com/VaughnVernon/ReactiveMessagingPatterns_ActorModel
- https://camel.apache.org/components/latest/eips/enterprise-integration-patterns.html
- https://github.com/camelinaction/camelinaction2
- https://www.enterpriseintegrationpatterns.com/patterns/messaging/

Каталог моделей согласованности:

- https://jepsen.io/consistency

Шпаргалка по EIP-паттернам:
"Enterprise Integration Patterns Tutorial Reference Chart":
- https://www.enterpriseintegrationpatterns.com/download/EIPTutorialReferenceChart.pdf

- "Cloud Design Patterns"
https://docs.microsoft.com/en-us/azure/architecture/patterns/
- "Cloud Design Patterns. Prenoscriptive architecture guidance for cloud applications" by Alex Homer, John Sharp, Larry Brader, Masashi Narumoto, Trent Swanson.
https://docs.microsoft.com/en-us/previous-versions/msp-n-p/dn568099(v=pandp.10)
Code Samples:
- http://aka.ms/cloud-design-patterns-sample
- "Cloud Best Practices" by Microsoft Corporation and community
https://docs.microsoft.com/en-us/azure/architecture/best-practices/

#DDD #Microservices #DistributedSystems #EIP

Первая из перечисленных стратегий решения проблемы "конкурирующих подписчиков" - это "нивелировать побочные эффекты (устранить симптомы) от нарушения очередности событий (коммутативность)".

Часто бывает так, что два действия подряд над одним и тем же агрегатом приводят к тому, что, в условиях конкурирующих подписчиков, сообщение второго события может обогнать сообщение первого события. Если при этом используется "Event-Carried State Transfer" ( https://martinfowler.com/articles/201701-event-driven.html ), то при обработке следующего сообщения (которое было отправлено первым), система будет оперировать уже устаревшими данными.

Как один из вариантов решения проблемы в таком случае, может быть переход на "Event Notification". В некоторых случаях прокатывает. Но он ухудшает availability (CAP-Theorem) из-за каскадного синхронного запроса.

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

#DDD #Microservices #DistributedSystems

Вторая из перечисленных стратегий решения проблемы "конкурирующих подписчиков" - это "исключить причины нарушения очередности событий".

Этому способу решения проблемы посвящена глава "3.3.5 Competing receivers and message ordering" книги "Microservices Patterns: With examples in Java" by Chris Richardson
https://livebook.manning.com/book/microservices-patterns/chapter-3/section-3-3-5?origin=product-toc

Если mеssaging system не поддерживает партиционирование каналов, то его можно реализовать с помощью паттерна EIP "Content-Based Router"
https://www.enterpriseintegrationpatterns.com/patterns/messaging/ContentBasedRouter.html

Например, используя Camel Framework:
https://camel.apache.org/components/latest/eips/content-based-router-eip.html

С помощью партиционирования каналов мы добиваемся того, что все сообщения одного и того же причинно-зависимого (causal) потока попадают на один и тот же узел группы подписчиков. Нет конкуренции - нет проблемы. Здесь вводится новый и достаточно обширный термин "causal concistency", который мы разберем в очередном посте (не сегодня).

#DDD #Microservices #DistributedSystems #EIP

В предыдущем посте прозвучал очень важный термин - "Causal Consistency", имеющий критически важное значение для всех, кто имеет дело с распределенными системами.

Vaughn Vernon в "Reactive Messaging Patterns with the Actor Model: Applications and Integration in Scala and Akka" (RMPwAM) ссылается на следующие две статьи по этому вопросу:
- https://queue.acm.org/detail.cfm?id=2610533
- http://www.bailis.org/papers/bolton-sigmod2013.pdf

Каталог моделей согласованности:
- https://jepsen.io/consistency

#DDD #Microservices #DistributedSystems