traits

Oct
13
Higher Kinds in C# with language-ext [Part 12- WriterT monad transformer]

Higher Kinds in C# with language-ext [Part 12- WriterT monad transformer]

The WriterT monad transformer allows for aggregating output using pure expressions.
5 min read
Aug
03
Higher Kinds in C# with language-ext [Part 11- StateT monad transformer]

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.
16 min read
Jun
26
Higher Kinds in C# with language-ext [Part 10- ReaderT monad transformer]

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.
16 min read
Apr
26
Higher Kinds in C# with language-ext [Part 7 - monads]

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!
22 min read
Apr
16
Higher Kinds in C# with language-ext [Part 6 - traversables]

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...
17 min read
Mar
12
Higher Kinds in C# with language-ext [Part 4 - applicatives]

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.
11 min read
Feb
29
Higher Kinds in C# with language-ext [Part 2 - functors]

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.
9 min read