Pure Functional Solidity for Fun and Profit

Can we program solidity code using the functional programming style? The speaker thinks: yes, we can and we should! We do it first because it is fun. Secondly, it can lead to more formally verifiable code (profit!).