#LanguageExt

Ivan Kashtanov

@0costdistraction.bsky.social

4 months ago

Thought after maintaning .NET projects at work: classic approaches to validation in C# are annoyingly cumbersome if you want to do it right.

Here's a rather basic repo I put together to demo an approach that uses #LanguageExt Validation type capabilities #csharp
github.com/binarybang/f...

Marc Jacobi 🇳🇱

@marcjacobi.bsky.social

1 year ago

I'm doing a personal #dotnet project with #Aspire, #Orleans, #Blazor, #SignalR, #FastEndpoints, #LanguageExt, #CosmosDB, #AzureStorage and #Keycloak (Identity)
It's all stuff I know very little about (except Azure Storage and CosmosDB).

macf00bar

@nerei.net

1 year ago

#languageExt #CSharp #functionalprogramming
paullouth.com/higher-kinds...

macf00bar

@nerei.net

1 year ago

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.

today I found the blog series by @paullouth.bsky.social about what his plans are for #languageext v5 (paullouth.com/higher-kinds...) and I think you could appreciate part2 (and maybe read on par1 just as a refresher).

Paul Louth

@paullouth.bsky.social

1 year ago

Higher Kinds in C# with language-ext [Part 12- WriterT monad transformer] The WriterT monad transformer allows for aggregating output using pure expressions.

Part 12 of my Higher Kinds in C# series is up now. Following on from ReaderT and StateT, we finish the transformer-triplet with WriterT #csharp #dotnet #languageext #monad #transformer #fp

paullouth.com/higher-kinds...

Paul Louth

@paullouth.bsky.social

1 year ago

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.

Part 11 of my Higher Kinds in C# series is now available. Continuing the monad-transformers story with `StateT` and a full game implementation of pontoon/21/vingt-un!

#csharp #dotnet #fp #languageext #monad #functor

paullouth.com/higher-kinds...

Paul Louth

@paullouth.bsky.social

1 year ago

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.

Part 10 of my Higher Kinds in C# series is now available. Continuing the monad transformers story with ReaderT. I'm going to spend a little longer on these transformers as it's relatively new idea for c#-land. #csharp #dotnet #fp #languageext #monad #readert

paullouth.com/higher-kinds...

Paul Louth

@paullouth.bsky.social

1 year ago

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!

Part 9 of my Higher Kinds in C# series is available now. It's getting deeper now, this article we tackle Monad Transformers!

A tricky subject, but we're up to it 😉 #csharp #dotnet #fp #languageext #monad #transformer

paullouth.com/higher-kinds...

Paul Louth

@paullouth.bsky.social

1 year ago

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.

Part 8 of my Higher Kinds in C# series is available now. We continue the deep dive into monads. This article moving away from the philosophy and onto the implementations of common monads. #csharp #dotnet #fp #languageext #monad

paullouth.com/higher-kinds...

Paul Louth

@paullouth.bsky.social

1 year ago

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!

Part 7 of my Higher Kinds in C# series is up now. And it's finally time for MONADS! 🥳

Yet Another Monad Tutorial to add to the sea of Yet Another Monad Tutorials, yay! #csharp #dotnet #fp #languageext #monad

paullouth.com/higher-kinds...

Paul Louth

@paullouth.bsky.social

1 year ago

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...

Part 6 of my Higher Kinds in C# series is now available. I n this episode dig into one of the most powerful types in all of functional-programming: Traversable. #csharp #dotnet #fp #languageext

paullouth.com/higher-kinds...

Paul Louth

@paullouth.bsky.social

1 year ago

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.

Part 5 of my 'Higher Kinds in C#' series is now online. This episode I dig into 'lifting' and validation with applicatives. #csharp #dotnet #fp #languageext #validation

paullouth.com/higher-kinds...

Paul Louth

@paullouth.bsky.social

1 year ago

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.

Part 4 of my 'Higher Kinds in C#' series is now available - this episode, applicatives! #csharp #dotnet #fp #languageext #applicative

paullouth.com/higher-kinds...

Paul Louth

@paullouth.bsky.social

1 year ago

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.

Part 3 of my 'Higher Kinds in C#' series is now available - this episode, foldables! #csharp #dotnet #fp #languageext #foldable

paullouth.com/higher-kinds...

Paul Louth

@paullouth.bsky.social

1 year ago

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!

As the next release of language-ext is going to be a beast; I have decided to start a blog documenting some of the new features coming down the pipe.

Starting with higher-kinds in #csharp #languageext

paullouth.com/higher-kinds...