Sign in Subscribe
Paul Louth
Notes from a Small Functional Island

Latest

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
27
Higher Kinds in C# with language-ext [Part 9- monad transformers]

Higher Kinds in C# with language-ext [Part 9- monad transformers]

An introduction to monad transformers and how they can be used to 'stack' monadic behaviours to create super-monads!
31 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
24
Higher Kinds in C# with language-ext [Part 5 - validation]

Higher Kinds in C# with language-ext [Part 5 - validation]

We cover one of the most useful applicative types: Validation. It allows for the collection of multiple errors in a computation rather than just the first.
18 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
Mar
02
Higher Kinds in C# with language-ext [Part 3 - foldables]

Higher Kinds in C# with language-ext [Part 3 - foldables]

Foldables abstract the idea of aggregation away from simple lists (like Aggregate in LINQ) to many other types.
12 min read