"I can't upvote you enough. Too often programmers conflate "functional programming" with "availability of an O(1) array data type". The former does not imply lack of the latter, and (as you stated) lack of the latter does not imply the former."

Yes, even the pure Haskell has unboxed, mutable O(1) arrays. They're just a bit hidden for the beginner.