ACM SIGPLAN
A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
Explore a monadic framework for name resolution in multi-phased type checkers, bridging the gap between abstract typing rules and practical implementations using compositional mappings and monadic combinators.
YouTube32 minutesВ любое времяБесплатное видео
CppCon
Applicative - The Forgotten C++ Functional Pattern
Explore the powerful applicative pattern in C++, learning its uses in optionals, ranges, futures, and more. Gain insights to write simpler, composable code beyond monads and functors.
YouTube1 hour 1 minuteВ любое времяБесплатное видео
ACM SIGPLAN
Multi-phase Computation as an Applicative Functor
Explore multi-phase computation as an applicative functor, bridging static and dynamic program structures. Gain insights into resolving tensions between data and execution patterns.
YouTube1 hour 18 minutesВ любое времяБесплатное видео
Dublin Institute for Advanced Studies DIAS
A Simple Axiom for Euclidean Quantum Field Theory
Explore a concise mathematical definition of quantum field theory and its implications for physics through a categorical approach to Riemannian manifolds and Hilbert spaces.
YouTube1 hour 5 minutesВ любое времяБесплатное видео