Notes From a Small Functional Island
Notes From a Small Functional Island

Latest

13
Oct
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.
4 min read
3
Aug
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.
18 min read
26
Jun
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.
14 min read
27
May
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!
35 min read
7
May
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.
16 min read
29
Apr
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.
14 min read
26
Apr
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!
20 min read
16
Apr
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...
15 min read
24
Mar
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.
17 min read
12
Mar
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.
10 min read
2
Mar
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.
10 min read
29
Feb
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.
7 min read
27
Feb
Higher Kinds in C# with language-ext [Part 1]

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

Version 5 of language-ext introduces the concept of higher-kinded traits. This series unpacks the implications of that!
7 min read
25
Feb
Notes from a Small Functional Island

Notes from a Small Functional Island

1 min read