Books
- Visual Category Theory Brick by Brick, Part 7Using LEGO® to Teach Abstract MathematicsDmitry Vostokov
The seventh part covers ideas related to functional programming: exponentials, disjoint unions, endofunctors and natural transformations, partial and total functions, monads.
Disappointed with Object-oriented Programming? Has imperative coding let you down? Don't worry, because Functional Programming is here to fix all your problems! Maybe! More realistically, it will show you new ways of thinking about code. So why not give it a go with a programming language you are probably already familiar with?
- Build It With Nitrogen: The Fast-Off-the-Block Erlang Web FrameworkLloyd Prentice and Jesse Gumm
Build It with Nitrogen: the Fast Off the Block Erlang Web Framework, guides web developers step-by-step through construction of highly reliable web applications. Nitrogen is designed for no-fuss development. It abstracts HTML and JavaScript into syntactically consistent elements and actions; preserves the scalability benefits of Erlang.
Practical functional programming in Java using Vavr functional library
- Practical functional C#A practical guide to the language-ext C# functional Librarydimitris papadimitriou
Functional programming in modern Web Application development using Asp.Net Core and Domain Driven Design with the language-ext functional library in C#
- Scheming: The journey through functional programming, language design, insobriety and bad jokesIvan Appel
This is a story of a middle-aged programmer that started with writing some code in Lisp, then quickly escalated to writing my own Lisp, and only went downhill from there.
- Visual Category Theory Brick by Brick, Part 6Using LEGO® to Teach Abstract MathematicsDmitry Vostokov
The sixth part covers vertical and whisker compositions of natural transformations, identity and isomorphism of functors, equivalence, isomorphism, and adjoint equivalence of categories, functor and morphism categories, natural transformations as functors, representable functors, category of presheaves, Yoneda embedding and lemma.
- Coffee Break Python - Mastery Workout99 Tricky Python Puzzles to Push You to Programming MasteryFinxter, Lukas Rieger, and Adrian Chan
Are you an above-average Python coder? Prove it! Coffee Break Python - Mastery Workout helps you boost your Python skills and reach mastery level. The approach is simple: you solve 99 really hard Python puzzles that get harder as you progress with the book. A clear path to Python mastery!
- Функциональное мышление в PHPLarry Garfield and Alexey Pyltsyn
Подход к PHP с функциональной точки зрения. Да, это возможно. (С небольшой щепоткой теории категорий.)
- Visual Category Theory Brick by Brick, Part 5Using LEGO® to Teach Abstract MathematicsDmitry Vostokov
The fifth part covers exponentials and evaluation in sets and categories, subobjects, equalizers, equivalence classes and quotients, coequalizers, congruence categories, morphism functors, and presheaves.
- Visual Category Theory Brick by Brick, Part 4Using LEGO® to Teach Abstract MathematicsDmitry Vostokov
The fourth part covers non-concrete categories, group objects, monoid, group, opposite, arrow, slice, and coslice categories, forgetful functors, monomorphisms, epimorphisms, and isomorphisms.
- Functional Design and Architecture (Early Edition, 2020)Building real programs in static functional languages: application architectures, design patterns, best practices and approachesAlexander Granin
Software Design in Functional Programming, Design Patterns and Practices, Methodologies and Application Architectures. How to build real software in Haskell with less efforts and low risks. The first complete source of knowledge.
- Visual Category Theory Brick by Brick, Part 3Using LEGO® to Teach Abstract MathematicsDmitry Vostokov
The third part covers adjoint functors, diagram shapes and categories, cones and cocones, limits and colimits, pullbacks and pushouts.
- Visual Category Theory Brick by Brick, Part 2Using LEGO® to Teach Abstract MathematicsDmitry Vostokov
The second part covers duality, products, coproducts, biproducts, initial and terminal objects, pointed categories, matrix representation of morphisms, and monoids.
- Visual Category Theory Brick by Brick, Part 1Using LEGO® to Teach Abstract MathematicsDmitry Vostokov
Category theory abstractions are very challenging to apprehend correctly, require a steep learning curve for non-mathematicians, and, for people with traditional naïve set theory education, a paradigm shift in thinking. The book uses LEGO® to teach category theory.
