Yegcixboysqgka7nxjq8
SkillsCast

Sandwich Mixins - Just Add Cheese

3rd July 2019 in London at CodeNode

There are 1 other SkillsCast available from C++ London July

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:

Thanks to our sponsors

Sandwich Mixins - Just Add Cheese

Gasper Azman

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.

SkillsCast

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:

Thanks to our sponsors

About the Speaker

Sandwich Mixins - Just Add Cheese

Gasper Azman

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.