Algebraic Thinking for evolution of pure | Signify Technology
source link: https://www.signifytechnology.com/blog/2021/04/algebraic-thinking-for-evolution-of-pure-functional-domain-models
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Algebraic Thinking for evolution of pure functional domain models
Why is algebraic thinking important?
What are the virtues of parametricity and compositionality?
Check out the talk below, given by Debasish Ghosh at our conference; Scala Love in the City.
The focus of the talk is to emphasize the importance of algebraic thinking when designing pure functional domain models. The talk begins with the definition of an algebra as consisting of a carrier type, a set of operations/functions and a set of laws on those operations. Using examples from the standard library, the talk shows how thinking of abstractions in terms of its algebra is more intuitive than discussing its operational semantics.
The talk also discusses the virtues of parametricity and compositionality in designing proper algebras. Algebras are compositional and help build larger algebras out of smaller ones. We start with base level types available in standard libraries and compose larger programs out of them. We take a real life use case for a domain model and illustrate how we can define the entire model using the power of algebraic composition of the various types. We talk about how to model side-effects as pure abstractions using algebraic effects. At no point we will talk about implementations. At the end of the talk we will have a working model built completely out of the underlying algebra of the domain language.
Recommend
-
14
-
13
-
8
-
3
Greyhound is the Kafka client SDK wrapper, released to open-source, written using ZIO, it has easy plug-ability! Natan Silnitsky explores how Greyhound is used by Wix developer...
-
11
-
6
-
9
How can you build a User Friendly DSL with Scala 3?Jakob Odersky took us zero to three with this talk at Scala Love in the City Conference.From Zero to Three...
-
2
How has Scala helped with the updating of GitBucket?Check out Naoki Takezoe's talk from Scala Love in the City Conference!GitBucket: Open Source Self-Hos...
-
8
One key element to consider if you are trying to increase the diversity in your recruitment process is how you screen them, specifically you will need to work out how you can remove any unconscious bias. Think Ask yourself what yo...
-
11
Who wants to update their old code? ...we thought it might not be your favourite pass timeHolden Karau explores how you can use tools to semi-aut...
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK