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

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

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

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