Functional Discussions

Echo Nolan has offered to give a lightning talk about the recent proof of Void in Idris.

Beyond that, I was thinking we could have a discussion about functional programming as compared to object-oriented/imperative programming. What are some idioms or patterns employed in functional programming? Do they make the code easier to work with or understand? When do they make things more confusing?

Also - there will definitely be pizza tonight.