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

Displayed time zone: Osaka, Sapporo, Tokyo change

16:40 - 18:00
Talks 5CUFP at Noh Theater
16:40
25m
Talk
Baby steps to unikernels in production
CUFP
Media Attached
17:05
50m
Talk
Hope is a Monad
CUFP
Michael Sperber Active Group GmbH
Media Attached
17:55
5m
Day closing
Closing remarks
CUFP
Katie Ots Facebook, Alex Lang Tsuru Capital