Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Programming

Dad, husband, Swift language designer and Swift/C++/ObjC compiler implementor, Author, Generic Programming aficionado. He/him.

c++ developer advocate at microsoft ~ poet ~ film/noisemaker ~ mask enthusiast

Distinguished engineer @ Woven by Toyota — C++ standards committee language evolution chair—WebAssembly co-instigator