In this meetup Jamie will give a talk on how to compose abstract service components by exploiting two core functional concepts of the Monad Type Class and the Natural Transformation.
Service-oriented architectures typically have many common components, such as authentication and logging. It's desirable to reuse these components across services, but it's not always easy to structure the code in a way that allows this. Fortunately, functional programming itself can provide us with all the tools necessary to achieve this goal. In this talk I will explore some key design patterns and types which will be brought together to create a complete service architecture, end to end.
Jamie will show how to compose abstract service components by exploiting two core functional concepts of the Monad Type Class and the Natural Transformation. With these components, concerns such as transactionality, asynchronicity and failure handling can be deferred or altered without any impact on your core logic. By making minor changes in our integration layer we could transform an in-memory session handler to persist to a transactional database, make an email dispatcher non-blocking, or introduce event sourcing on a key-value repository.
YOU MAY ALSO LIKE:
- Lightning Talks 1 (SkillsCast recorded in December 2015)
- Domain Models in Practice: DDD, CQRS & Event Sourcing with Marco Heimeshoff (Online Course on 30th November - 4th December 2020)
- Sociotechnical Domain-Driven Design with Kacper Gunia (Online Course on 7th - 8th December 2020)
- Haskell eXchange 2020 (Online Conference on 4th - 5th November 2020)
- Strategic Domain-Driven Design Tools For Non‑DDD People (Online Meetup on 29th October 2020)
- Rethinking Bioinformatic Algorithms Using F# (SkillsCast recorded in October 2020)
- Implementing Microservices: Nobody Told Me About That (SkillsCast recorded in October 2020)
Functional Service Oriented Architecture
Jamie is a senior developer in Concentra's Product Development Team. Having spent the last 4 years developing services in Scala, Jamie has been focused on taking service orientated architecture patterns into the functional space. Hailing from a background in maths, he seems to take a perverse pleasure in finding new ways to abstract problems. Most of his work is in back-end services and modelling.