Matthew Roberts

Matthew Roberts

Senior Proof Engineer
CSIRO's Data61
location_on Australia

Member since 1 month

Share

Matthew Roberts

Specialises In (based on submitted proposals)
technique

Matthew had his functional programming epiphany surrounded by the Angle Brackets of Doom (C++ template metaprogramming). He learned some Haskell, and began to appreciate the simple things: composition, meaningful types, and the assurance that what you see is what you get. At some point, he heard about dependent types, and taught himself some Coq. He still occasionally enjoys some C++, for old times sake.