Functional Design Explained (CppCon 2015)

September 22, 2015 | By David Sankel | Filed in: C++.

Functional Design Explained

I delivered a talk entitled “Functional Design Explained” at CppCon 2015. Slides are available here and the video is here.

I recommended a couple books at the meeting. These are enumerated below:

  1. Denotational Semantics: A Methodology for Language Development by David Schmidt is available for free download online here.
  2. Category Theory for Computing Science by Michael Barr and Charles Wells is available for purchase online here.

2 comments on “Functional Design Explained (CppCon 2015)

  1. Paul Jurczak says:

    A liked your talk. As a proof that I was paying attention, here is a couple of nitpicks:

    Page 26: u[int] = Z is oversimplified since the type int in C++ has finite number of values vs. Z being infinite. So u[int] is a subset of Z.

    Page 27: Same here: u[double] is a subset of R.

    Page 30: Closing } is missing.