Let's look at an audience where Haskell (or FP in general) ought to be popular, if any of the hype is true: mathematicians and logicians writing pseudo-code in

Let's look at an audience where Haskell (or FP in general) ought to be popular, if any of the hype is true: mathematicians and logicians writing pseudo-code in research papers. What we see is that pseudocode is almost always imperative. Sometimes it even uses GOTO!