This a very good point; I would also stress that mathematics itself is highly “functional” (in its modern form anyway), and that it is stateless (unlike its rep

This a very good point; I would also stress that mathematics itself is highly “functional” (in its modern form anyway), and that it is stateless (unlike its representation in an imperative language).