+ Lecture on functional programming