Higher Kinds in C# with language-ext [Part 12- WriterT monad transformer]
The WriterT monad transformer allows for aggregating output using pure expressions.
Higher Kinds in C# with language-ext [Part 11- StateT monad transformer]
The StateT monad transformer allows for mutation of state using pure expressions. We dive into how it works.
Higher Kinds in C# with language-ext [Part 10- ReaderT monad transformer]
A look at the ReaderT monad transformer and the general Readable trait that allows generalised access to types with embedded environments.
Higher Kinds in C# with language-ext [Part 8- monads continued]
We delve into specific 'flavours' of monad by showing how to implement many of the key monadic types in language-ext.
Are higher-kinds in C# real?
A small diversion into the social media comments made about the higher-kinds approach used in language-ext.
Higher Kinds in C# with language-ext [Part 7 - monads]
An introduction to one of the most powerful patterns in all of computer science: the monad!
Higher Kinds in C# with language-ext [Part 6 - traversables]
Traversables leverage the power of applicatives and foldables to allow for complex processing over those abstract strucutures...
Higher Kinds in C# with language-ext [Part 4 - applicatives]
Applicatives are not often talked about outside of Haskell-land, but are extremely powerful compositional tools.
Higher Kinds in C# with language-ext [Part 2 - functors]
We introduce functors - one of the most powerful concepts in category theory - but in code form allows for the mapping of values within a structure.