This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- WHAT YOU NEEDA KNOW ABOUT YONEDA by Jeremy Gibbons THIS TALK IN THREE WORDS: Categories Functional programming Lenses TALK LEVEL: Advanced ABSTRACT Profunctor optics are a neat and composable representation of bidirectional data accessors, such as lenses (a "getter" and a "setter", for example onto a field of a record), and their dual, prisms. The profunctor representation exploits higher-order functions and higher-kinded type constructor classes. The relationship with the ""getter"" and ""setter"" functions is not at all obvious; it turns out to be a fairly direct application of the Yoneda Lemma, arguably the most important result in category theory. This talk will explain the Yoneda Lemma, with many concrete examples, including profunctor optics. Slides & full abstract: https://codesync.global/speaker/jeremy-gibbons/ --- THE SPEAKER - JEREMY GIBBONS Jeremy Gibbons is Professor of Computing at the University of Oxford, where he teaches on the part-time professional master's programme in software engineering. He has been devoted to functional programming since the late eighties; he is Editor-in-Chief of the Journal of Functional Programming, and his particular interests are in patterns in functional programming and in reasoning about programs. More on Jeremy Gibbons: https://codesync.global/speaker/jeremy-gibbons/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #FunctionalProgramming #Yoneda