Sign in Subscribe

hkt

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
May
07
Higher Kinds in C# with language-ext [Part 8- monads continued]

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.
19 min read
Apr
29
Are higher-kinds in C# real?

Are higher-kinds in C# real?

A small diversion into the social media comments made about the higher-kinds approach used in language-ext.
15 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 monad 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