Concept Maps Using C++23 Library Tech - Indirection to APIs for a Concept - Lecture
Explore concept maps in C++23, using inline variable templates to achieve benefits similar to C++0x Concepts. Learn advanced techniques for implementing flexible data structures with monoid-based tags.
Group Theory
Comprehensive exploration of group theory, covering key concepts from basic definitions to advanced topics like Sylow theorems, ideal for mathematics and engineering students.
Elimination of Generators, Normal Forms, Indexed Computations and Iterated Smash-Products
Explore Lazard elimination theorems, their applications in algebra, and implementations in string rewriting and indexed computations for various mathematical structures.
It's All About Morphisms
Gentle introduction to Category Theory for OOP programmers exploring Functional Programming. Explains key concepts with diagrams, metaphors, and code examples in Java and Kotlin, comparing to classical OOP approach.
It's All About Morphisms
Gentle introduction to Category Theory for OOP programmers exploring Functional Programming. Explains key concepts with diagrams, metaphors, and code examples, comparing to OOP and showing real-world applications.
Functional Programming from First Principles
Explore functional programming fundamentals, side effects, and the contrast with imperative programming. Delve into concepts like monoids, category theory, and monads in this insightful talk by Erik Meijer.
Achieving Functional Programming in Java
Explore functional programming in Java using the Lambda library, covering functors, monads, lazy evaluation, and more. Learn to leverage FP concepts in Java development.
When Less is More and More is Less - Trade-Offs in Algebra
Explore algebraic structures in functional programming, focusing on semigroups and semilattices. Learn their applications, trade-offs, and how to choose the right structure for your programming needs.
Applied Category Theory - The Emerging Science of Compositionality
Explore applied category theory's impact across disciplines, focusing on compositionality. Learn core concepts and real-world applications of this emerging field in programming and beyond.
Monoids, Monads, and Applicative Functors - Repeated Software Patterns
Explore abstract mathematical structures in software development, focusing on monoids, monads, and applicative functors. Learn to recognize these patterns and apply them to improve code design and problem-solving skills.
Identifying Monoids - Exploiting Compositional Structure in Code
Explore monoids as a powerful compositional pattern in code architecture. Learn to identify, exploit, and apply monoids to improve API design, incremental computation, and work distribution.
Algebraic Datatypes with React
Explore functional programming concepts like functors and monads in React, learning how to apply them to solve problems and understanding potential tradeoffs in frontend development.
Functional Design Patterns
Explore functional programming patterns and principles, from basic concepts like partial application to advanced topics such as monads and monoids, enhancing your development skills.
The Functional Programmer's Toolkit
Demystifying functional programming patterns and techniques, exploring their practical applications in handling data, working with lists, and implementing dependency injection.
Discrimination is Wrong - Improving Productivity in Haskell Library Design
Explore advanced Haskell library design, optimizing discrimination techniques for O(n) operations. Dive into category theory, encodings, system-level concerns, and laziness properties.