In Liberasure, I seem to have stumbled on a "mixin pattern that actually works". I'll write a blog post about it one of these days, but it's effectively "how to do mixins in C++ well". As I can't figure out what I'd google for, I named it "sandwich mixins". Work experience suggests it's the first truly composable paradigm. Since its inception in Liberasure, other libraries have picked it up (and some have discovered something like it independently). I want to name it "Sandwich Mixins", and what better way to launch it than at C++ London?
YOU MAY ALSO LIKE:
- Points of Order (SkillsCast recorded in May 2019)
- London Unreal Engine Meetup #33 (in London on 21st November 2019)
- Testing and UB (in London on 21st November 2019)
- Designing embodied human-computer interactions with audio processing parameters (SkillsCast recorded in October 2019)
- Transforming Legal Recruitment with a Market Knowledge Graph (SkillsCast recorded in October 2019)
Sandwich Mixins - Just Add Cheese
Gašper has been trying to have the compiler prove his code since 2008, and it's been going better of late. He has written code for the web, backends, and research tools, for UC Berkeley, A9.com, and currently Citadel. He has corrected proofs in "From Mathematics to Generic Programming", and frequently attends C++ conferences.