Also a note on functional programming. It is true that it is easier to mathematically verify the code, but the main advantage is simpler, composable and testable code. This is because you are not creating side effects within the code. Inputs define the output and not like with imperative code where a lot of time functions rely on outside state and also change it. So it is build on simple principals like immutable data(just like blockchain) and simple composable functions.