An introduction to concatting items via the formal Semi-group interface. Semi-groups are simply a type with a concat method that are associative. We define three semigroup instances and see them in action.
Enforce a null check with composable code branching using Either
We define the Either type and see how it works. Then try it out to enforce a null check and branch our code.
Create linear data flow with container style types (Box)
We'll examine how to unnest function calls, capture assignment, and create a linear data flow with a type we call Box. This is our introduction to working with the various container-style types.
Refactor imperative code to a single composed expression using Box
We refactor 3 functions, taking line by line imperative code to a single composed expression using Box container type.
A collection of Either examples compared to imperative code
A tour of simple functions rewritten as composed expressions using Either set to 8 byte music and colorful flying blocks
A few examples of Semigroup definitions
Use chain for composable error handling with nested Eithers
We refactor a function that uses try/catch to a single composed expression using Either. We then introduce the chain function to deal with nested Eithers resulting from two try/catch calls.
Ensure failsafe combination using monoids
In this video we define monoids and promote our semigroups