Yes, I think that non-imperative languages might be real Platonic things.

I see these things like working with spreadsheet cells. You put formulas in them and then you get a result in the spreadsheet as a whole.