Funcky is a functional library for C# which encourages correct usage of the functional programming paradigm.
- Funcky
- Funcky.Async
- Funcky.XUnit
- Funcky.Analyzers: Analyzers to guide to the correct usage of Funcky.
- Funcky.EntityFrameworkCore: Provides interoperability between Funcky and EF Core
- Funcky.DiscriminatedUnion: Provides source generator for discriminated union support in C#
See our in progress documentation for more examples.
The Option monad is the centerpiece of Funcky. It provides a safe and easy structure for working with optional values.
It follows naming already established by LINQ (Select, SelectMany, Where).
Option<string> input = ...;
var result = input
.SelectMany(v => v.ParseInt32OrNone())
.Where(n => n >= 0)
.Select(n => $"Non-Zero: {n}");
result.AndThen(Console.WriteLine);Funcky provides a plethora of extensions for IEnumerable that help with writing code using Functional programming paradigms.
Sequence.Return(1, 2, 3, 4)
.Pairwise((left, right) => left + right) // [3, 5, 7]
.Intersperse(-1) // [3, -1, 5, -1, 7]
.Inspect(item => Console.WriteLine(item))
.SlidingWindow(3) // [[3, -1, 5], [-1, 5, -1], [5, -1, 7]]
.WhereSelect(window => window.AverageOrNone()) // [2, 1, 3]
.JoinToString(", "); // "2, 1, 3"- Extensions that provide interoperability with
OptionforIQueryable,IAsyncEnumerable,string. - Fundamental functions:
Identity,True,False, etc. - «Constructors» for
IEnumerable:Sequence.Return,Sequence.Successors, etc. UnittypeResultmonadReadermonadEithermonad
Functional programming is the oldest of the three major programming paradigms, none the less it is the last which gets wide spread usage. Even in languages like C++, Java or C# we want to use a functional style of programming.
Linq is the first Monad which got wide spread use in C#, and most C# programmers were not even aware of it beeing a monad, which probably helped.
Mark Seemann points out that "Unfortunately, Maybe implementations often come with an API that enables you to ask a Maybe object if it's populated or empty, and a way to extract the value from the Maybe container. This misleads many programmers [...]"
https://blog.ploeh.dk/2019/02/04/how-to-get-the-value-out-of-the-monad/
This library is based on his example code, and should grow slowly to a library which helps to use and understand the Functional programming paradigm. Functional programming is side-effect free and the strong type system can be used to make illegal state impossible.
Use functional programming as an additional asset to write correct code.
There are several libraries available which try to give you more functional features in C#. So
- Funcky wants to be functional C#.
- Funcky tries to use the C# monadic interfaces as an advantage
- We do not provide our own record type. Use the new record types in C# 9 or a weaver like Equals.Fody.
This library is probably the most complete attempt to functional programming in C#, however it is very opinionated and admits to be not very idiomatic in C#. It certainly is more mature than Funcky and has a lot of features. If you want to go fully functional and for some reason cannot use F# this might be the way to go.
Eff is inspired by the Eff programming language and the implementation of Algebraic Effects. It's only purpose is the handling of side effects and using the await syntax in a very elegant way.
We think the approach is very nice but cumbersome in usage, however we really love the appraoch with the await syntax. The library is very specialised an can be used in combination with any other functional style library.
MoreLinq provides more extension functions on IEnumerable, but has no additional functional concepts. We also provide additional extension functions on IEnumerable, but we also try to make them work in combination with our Monads and the async Monad. The different Monad-Syntaxes in C# (Linq, async) do not play niceley together.
Licensed under either of
- Apache License, Version 2.0 (LICENSE-Apache or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Contributions are more than welcome. Just open a PR :) If you want something easy to work on, there are a few issues marked with good first issue.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
To build the documentation you need mdBook installed.
When working on the documentation it's useful to have mdbook watching and automatically rebuilding on changes:
mdbook serve DocumentationThe core Funcky package is not allowed to have dependencies. Backwards compatibility packages from Microsoft that are included in
newer framework versions (e.g. Microsoft.Bcl.AsyncInterfaces, System.Collections.Immutable) are exempt from this rule.
Interoperability with other libraries should be provided in separate packages (e.g. Funcky.Xunit, Funcky.NewtonsoftJson)