Functional Programming in C with categories 1st edition by Dimitris Papadimitriou 1617293955 9781617293955

Functional Programming in C with categories 1st edition by Dimitris Papadimitriou – Ebook PDF Instant Download/Delivery:  1617293955, 9781617293955 

Full download Functional Programming in C with categories 1st edition after payment

Product details:

ISBN 10: 1617293955 

ISBN 13: 9781617293955

Author: Dimitris Papadimitriou 

This book goes beyond the introductory ideas of functional programming, while progressively building on practical examples in a comprehensive manner.

Functional Programming in C with categories 1st Table of contents: 

1 Language Functional support
1.1 Pure functions and Side effects
1.2 Evolution of Delegates in C#
1.3 Named parameters and Tuples
1.3.1 Lambda expressions and tuples
1.4 Extension Methods
1.5 Using static directive
1.6 LINQ support for custom Data structures
1.7 Currying and partial application

2 Algebras of Programming
2.1 Categories
2.2 Monoids
2.2.1 Folding monoids
2.2.2 Monoid homomorphisms and Parallelism

3 Algebraic Data Types
3.1 The product structure
3.1.1 Introduction / Elimination
3.2 The Co-Product (aka Union) structure
3.2.1 Introduction / Elimination
3.3 Extending Union Types
3.3.1 Adding Pattern Matching extensions to Union Types
3.3.2 Rewriting Union Type methods with MatchWith
3.3.3 The C#8.0 Pattern matching Feature
3.4 One
3.5 Recursive Algebraic Types
3.5.1 Rewriting Map with MatchWith
3.5.2 On the value of the symbolic representation
3.5.3 Adding Pattern Matching extension to Native List

4 Functors
4.1 The Identity Functor
4.2 Commutative Diagrams
4.3 The Functor Laws
4.4 Pattern Matching
4.5 Id Functor on the Fly
4.5.1 Some more Isomorphisms
4.5.2 The Basic Functor Mechanics
4.6 Extending Task to Functor
4.7 IO Functor, a Lazy Id Functor
4.7.1 Func Delegates as Functor
4.7.2 IO Functor
4.8 Reader Functor
4.9 LINQ Native Query syntax: Functor Support
4.10 Maybe Functor aka Option
4.10.1 Dealing with null
4.10.2 The Null Object Design pattern
4.10.3 The Functional equivalent – Maybe as Functor
4.10.4 Maybe Functor Example
4.10.5 Maybe in Language-ext / Option
4.10.6 Maybe Functor Example With language-ext Option
4.10.7 C# 8. pattern matching Support for Option
4.10.8 Folding Maybe
4.10.9 Using the Linq syntax
4.11 Either Functor
4.11.1 Pattern matching for Either
4.11.2 Using C# 8.0 pattern matching
4.11.3 Either Functor Example
4.11.4 C# 8. pattern matching Support for language-ext Either
4.11.5 Using Either for exception handling
4.12 Explicitly Compositing Functor
4.13 Combining Task and Option
4.14 Combining Task and Option 
4.15 Combining Task and Either 
4.16 Combining Task and Either 
4.17 Functors from Algebraic Data Types
4.18 Applicative Functors
4.19 Reader Applicative Functor

5 Monads
5.1 The List Monad
5.2 The Identity Monad
5.2.1 Monad laws for Identity Monad
5.3 Maybe Monad
5.3.1 Using language-ext Option
5.3.2 Using the LINQ syntax with Option Monad
5.4 Either Monad
5.4.1 Using Either Monad for exception handling
5.4.2 Using language-ext Either
5.4.3 Using the LINQ syntax with Either Monad
5.4.4 Using Either for Validation
5.5 Validation Monad
5.5.1 Using Validation.Apply to Collect validations
5.6 Task as Monad
5.7 The Task – Option Monad Combination 
5.8 The Task – Option Monad Combination
5.9 The Task – Either Monad Combination 
5.10 The Task – Either Monad Combination 

6 Catamorphisms Again
6.1 A brief mentioning of F-algebras
6.2 Catamorphisms
6.3 Initial algebra
6.3.1 F-Algebras Homomorhisms
6.4 Catamorphisms for Trees
6.5 Catamorphisms with the Visitor Design pattern
6.5.1 The Base Functor of the List
6.5.2 A brief mentioning of Anamorhisms
6.5.3 F-Coalgebra
6.5.4 Corecursion
6.5.5 A brief mentioning of Hylomorphisms
6.5.6 Hylomorphism example: Mergesort
6.6 Fold’s relation to Cata

7 Traversable
7.1 Traversable Array with Either applicative for validation
7.2 Traversable Algebraic data structures
7.3 Traversing with The Task aka Parallel
7.4 Applicative Reader Isomorphism with the Interpreter Design pattern
7.4.1 Standard Catamorphism implementation
7.4.2 Reader applicative implementation
7.4.3 Object Oriented Interpreter Pattern implementation
7.5 Explicitly Composing Traversables
7.6 Foldable
7.6.1 FoldMap
7.6.2 Explicitly Composing Foldables

8 A Clean Functional Architecture Example
8.1 Download and Setup the Project
8.1.1 Clean Architecture with .NET core
8.2 A Functional Applications Architecture
8.3 The Contoso Clean Architecture with .NET core and language-ext
8.4 Web Api
8.5 Domain Model
8.5.1 Repositories
8.6 CQRS
8.7 CQRS and MediatR
8.7.1 The Command Pattern with a Mediator
8.7.2 Query Workflow
8.7.3 Command Workflow

People also search for Functional Programming in C with categories 1st:

functional programming with c
 
functional programming category theory
 
c functional programming
 
c++ functional programming example

examples of functional programming

Tags: Functional Programming, categories, Dimitris Papadimitriou, functional programming