CUFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
co-located with ICFP 2016
Sat 24 Sep 2016 17:05 - 17:55 at Noh Theater - Talks 5

What, in the end, distinguishes the functional programmer from the OO developer? Much effort is spent on arguing how FP is more efficient. More significant, however, is that functional programmers produce different models from their OO and relational counterparts, which enable more powerful software architecture. The talk traces this observation through 13 years of functional programming applied in industrial projects, in a variety of languages. I’ll touch on projects in stage lighting (““stage lighting has algebraic structure””), financial derivatives (““market data is compositional””), semiconductor manufacturing (““hope is a monad””, ““scheduling is an arrow””), social pedagogy (““the GUI is a function””), and others, as time permits.

While a number of lessons from these experiences may seem obvious, they were hard-won:

  • purely functional is better
  • look for compositionality
  • monads can be found in unexpected places

(Not among them: Static types are better.)

Sat 24 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

16:40 - 18:00: Talks 5CUFP at Noh Theater
16:40 - 17:05
Baby steps to unikernels in production
Media Attached
17:05 - 17:55
Hope is a Monad
Michael SperberActive Group GmbH
Media Attached
17:55 - 18:00
Day closing
Closing remarks
Katie OtsFacebook, Alex LangTsuru Capital