Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Functional Programming made easy in C#

Yoan
November 22, 2022

Functional Programming made easy in C#

Yoan

November 22, 2022
Tweet

More Decks by Yoan

Other Decks in Education

Transcript

  1. @yot88 FP what ? From what you know about Functional

    Programming : • What are the benefits to use those idioms ?
  2. @yot88 FUNCTIONAL PROGRAMMING IS ALL ABOUT FUNCTIONS Lazy evaluation Pure

    functions (no side effect) Lambda functions (anonymous) Higher order functions Composition Closures (returning functions from functions) Currying & partial application Immutability Pattern matching Recursion
  3. PURE FUNCTIONS Pure functions don’t refer to any global state.

    The same inputs will always get the same output. Combined with immutable data types this means you can be sure the same inputs will give the same outputs. private static int Double(int x) => x * 2; https://yoan-thirion.gitbook.io/knowledge-base/software-craftsmanship/code-katas/pure-functions
  4. CONTEXT Source : http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html#just-what-is-a-functor,-really? Here’s a simple value And we

    know how to apply a function to this value: Let’s extend this by saying that any value can be in a context. You can think of a context as a box that you can put a value in Now when you apply a function to this value, you'll get different results depending on the context. This is the idea that Functors, Applicatives, Monads, Arrows etc are all based on. The Maybe data type defines two related contexts
  5. FUNCTORS A functor is any type that defines how map

    works. When a value is wrapped in a box, you can’t apply a normal function to it This is where map comes in! map knows how to apply functions to values that are wrapped in a box. Some(2).Map(x => x + 3); // Some(5) Option<int>.None.Map(x => x + 3); // None
  6. FUNCTORS Here’s what is happening behind the scenes when we

    write Here’s what is happening behind the scenes when we try to map a function on an empty box Some(2).Map(x => x + 3); // Some(5)
  7. FUNCTORS What happens when you apply a function to a

    list? lists are functors too new[] {2, 4, 6}.Map(x => x + 3); // 5, 7, 9 List(2, 4, 6).Map(x => x + 3); // 5, 7, 9
  8. FUNCTORS What happens when you apply a function to another

    function? When you use map on a function, you're just doing function composition! functions are also functors In C# with language-ext itis called Compose Func<int, int> add2 = x => x + 2; Func<int, int> add3 = x => x + 3; Func<int, int> add5 = add2.Compose(add3); add5(10); // 15
  9. MONADS Monads apply a function that takes a value and

    returns a wrapped value. static Option<int> Half(int x) => x % 2 == 0 ? Some(x / 2) : None; static Option<int> Half(int x) => x % 2 == 0 ? x / 2 : None; Implicit cast operator
  10. MONADS What if we feed it with a wrapped value?

    This is where bind also called flatMap or chain comes in! If you pass in Nothing it’s even simpler Some(3).Bind(Half); // None Some(4).Bind(Half); // Some(2)
  11. MONADS We can chain calls to bind Some(20) .Bind(Half) //

    Some(10) .Bind(Half) // Some(5) .Bind(Half); // None
  12. MONADS by example Another example: user types a path then

    we want to load the file content and display it private static Try<string> GetUserInput() { Console.WriteLine("File :"); return Try(Console.ReadLine)!; } private static Try<string> ReadFile(string filePath) => Try(() => File.ReadAllText(filePath)); GetUserInput() .Bind(ReadFile) .Match(Console.WriteLine, // Success ex => Console.WriteLine($"FAILURE : {ex.StackTrace}")); // Failure
  13. Higher order function A function that does at least one

    of the following : • takes one or more functions as arguments • returns a function as its result
  14. @yot88 This library uses and abuses the features of C#

    to provide a functional-programming 'base class library' that, if you squint, can look like extensions to the language itself. The desire here is to make programming in C# much more reliable and to make the engineer's inertia flow in the direction of declarative and functional code rather than imperative. https://github.com/louthy/language-ext Language-ext
  15. @yot88 PARTIAL APPLICATION Partial application allows us to create new

    function from an existing one by setting some arguments. Func<int, int, int> multiply = (x, y) => x * y; Func<int, int> twoTimes = par(multiply, 2); multiply(3, 4); // 12 twoTimes(9); // 18
  16. @yot88 CURRYING Currying is the same as converting a function

    that takes n arguments into n functions taking a single argument each. F(x, y, z) = z(x(y)) Curried: F(x, y, z) = F(y) { F(z) { F(x) } } To get the full application: F(x)(y)(z) Func<int, int, int, int> compute = (x, y, z) => x + (y * z); var curriedCompute = curry(compute); compute(1, 2, 3); // 1 + (2 * 3) = 7 curriedCompute(1)(2)(3); // 7
  17. @yot88 MEMOIZATION Memoization is some kind of caching if you

    memoize a function, it will be only executed once for a specific input Func<string, string> generateGuidForUser = user => $"{user}:{Guid.NewGuid()}"; Func<string, string> generateGuidForUserMemoized = memo(generateGuidForUser); generateGuidForUserMemoized("dusty"); // dusty:0b26fb2d-d371-447c-8d2d-e3e4e388d1fe generateGuidForUserMemoized("hopson"); // hopson:10217302-2512-4777-967c-2588a74f4118 generateGuidForUserMemoized("dusty"); // dusty:0b26fb2d-d371-447c-8d2d-e3e4e388d1fe
  18. @yot88 OPTION many functional languages disallow null values, as null-references

    can introduce hard to find bugs. Option is a type safe alternative to null values. Avoid nulls and NPE by using Options An Option<T> can be in one of two states : • some => the presence of a value • none => lack of a value. Match : match down to primitive type Map: We can match down to a primitive type, or can stay in the elevated types and do logic using map. • lambda inside map won’t be invoked if Option is in None state • Option is a replacement for if statements ie if obj == null • Working in elevated context to do logic
  19. @yot88 OPTION Option is a monadic container with additions Represents

    an optional value : None / Some(value) Map, Bind, Filter, Do, … var robots = new[] {"Tars", "Kipp", "Case"}; Func<string> randomRobot = () => { var shouldFail = random.Next(10) > 5; return shouldFail ? null : robots[random.Next((3))]; }; Func<string, string> upperCase = str => str.ToUpperInvariant(); Optional(randomRobot()).Map(upperCase); // Some(CASE) Optional(randomRobot()).Map(upperCase); // None Optional(randomRobot()).Map(upperCase); // Some(TARS) Optional(randomRobot()).Map(upperCase); // SOME(KIPP) Optional(randomRobot()).Map(upperCase); // None
  20. TRY Try is a monadic container which represents a computation

    that may either throw an exception or successfully completes Map, Bind, Filter, Do, Match, IfFail, IfSucc, … var robots = new[] {"Tars", "Kipp", "Case"}; Func<string> randomRobot = () => { var shouldFail = random.Next(10) > 5; return shouldFail ? throw new InvalidProgramException("Plenty of slaves for my robot colony") : robots[random.Next((3))]; }; Func<string, string> upperCase = str => str.ToUpperInvariant(); Try(randomRobot()).Map(upperCase); // Failure -> System.InvalidProgramException: Plenty of slaves for my robot colony Try(randomRobot()).Map(upperCase); // "KIPP" Try(randomRobot()).Map(upperCase); // "CASE" Try(randomRobot()).Map(upperCase); // Failure -> System.InvalidProgramException: Plenty of slaves for my robot colony Try(randomRobot()).Map(upperCase); // Failure -> System.InvalidProgramException: Plenty of slaves for my robot colony
  21. Either Either L R Holds one of two values 'Left'

    or 'Right’. Usually 'Left' is considered 'wrong' or 'in error', and 'Right' is, well, right. When the Either is in a Left state, it cancels computations like bind or map, etc. Map, Bind, Filter, Do, Match, IfFail, IfSucc, … record Account(decimal Balance); static Either<Error, Account> Withdraw(this Account account, decimal amount) => amount > account.Balance ? Left(Error.New("Insufficient Balance")) : Right(account with {Balance = account.Balance - amount}); new Account(9000).Withdraw(10_000); // Left(Insufficient Balance) new Account(100_000).Withdraw(10_000); // Right(Account { Balance = 90 000 })
  22. fold vs reduce • Fold takes an explicit initial value

    for the accumulator • Reduce uses the first element of the input list as the initial accumulator value • Fold : the accumulator and result type can differ as the accumulator is provided separately. • Reduce : the accumulator and therefore result type must match the list element type. var items = List(1, 2, 3, 4, 5); var fold = items .Map(x => x * 10) .Fold(0, (acc, x) => acc + x); // 150 var reduce = items .Map(x => x * 10) .Reduce((acc, x) => acc + x); // 150 var items = List(1, 2, 3, 4, 5); var fold = items .Map(x => x * 10) .Fold(0m, (acc, x) => acc + x); // 150 var reduce = items .Map(x => x * 10) .Reduce((acc, x) => Convert.ToDecimal(acc + x)); // Do not compile
  23. @yot88 BEFORE WE START One namespace to rule them all

    using static LanguageExt.Prelude; https://github.com/ythirion/language-ext-kata
  24. REAL LIFE EXAMPLE public class AccountService { private readonly IBusinessLogger

    _businessLogger; private readonly TwitterService _twitterService; private readonly UserService _userService; public AccountService( UserService userService, TwitterService twitterService, IBusinessLogger businessLogger) { _userService = userService; _twitterService = twitterService; _businessLogger = businessLogger; } public string Register(Guid id) { try { var user = _userService.FindById(id); if (user == null) return null; var accountId = _twitterService.Register(user.Email, user.Name); if (accountId == null) return null; var twitterToken = _twitterService.Authenticate(user.Email, user.Password); if (twitterToken == null) return null; var tweetUrl = _twitterService.Tweet(twitterToken, "Hello I am " + user.Name); if (tweetUrl == null) return null; _userService.UpdateTwitterAccountId(id, accountId); _businessLogger.LogSuccessRegister(id); return tweetUrl; } catch (Exception ex) { _businessLogger.LogFailureRegister(id, ex); return null; } } } Step-by-step guide Async version available in the solution-async branch
  25. @yot88 TO GO FURTHER • Functional Core, Imperative shell •

    You can play with true FP languages on JVM or .NET F# on .NET Clojure, Kotlin, Scala Scott Wlaschin F# guru Paul Louth lang-ext Rich Hickey Clojure yoda Daniel Dietrich Vavr