Functional Geometry - Producing Pure Spaces
Explore the intersection of category theory, functional programming, and geometric algebra in this advanced C++Now conference talk. Delve into the development of a spatial computation engine using C++14, combining Geometric Algebra and Functional Programming paradigms. Learn how to model complex geometric problems, including kinematic chains, curved-crease origami, knotted weaves, and organic forms, using structured morphisms, algebras, monadic continuations, and declarative constraint networks. Discover techniques for dimensional fluency and solving spatial configuration challenges through metaprogramming and template libraries. Gain insights into creating a compact, expressive, and extendable system for articulating spatial relationships, with potential applications for the Boost library.