> certain algorithms are more intuitive if implemented imperatively.

FWIW, "Dancing Links" is a wonderful technique that would be worse than pointless in an immutable language.

https://arxiv.org/pdf/cs/0011047.pdf