One way to see there's a lot of hot air coming from the FP crowd is to look how logicians and mathematicians write pseudocode in real papers. The "working" logi

One way to see there's a lot of hot air coming from the FP crowd is to look how logicians and mathematicians write pseudocode in real papers. The "working" logician/mathematician usually writes imperative pseudocode. No eyes are batted about subroutines having side effects, structures being mutable, variables being global... sometimes they even use "goto"!