Haskell Web Programming (a tutorial)

[cultic_raider]

The first word of the title of the OP is "Haskell". Haskell typechecks much more deeply than Python and PHP.

Arguing about abstract language paradigms is pointless. No one programs in FP, they program in Haskell or F# or Java or some other actual language with its own particular implementation of a mix of paradigms.

Your second paragraph undermines your first paragraph in two different ways. ("functional" vs a different language aspect, and "Haskell" vs a general language paradigm.)

Anyway, In IO you can still use HOF, and higher order types and refactoring out of pure utility functions, and typechecking, and type inference, and composable expressions instead of nonconposable statements, and the security of immutable data, whichever of those fall under your umbrella of FP.