We do have a functional language that's free from imperative constraints - it's called mathematics; everything runs on it.

We just don't have the source code.