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:
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.