Okasaki called them that because he was implementing data structures in pure functional languages, so in that context it was reasonable. But in imperative langu

Okasaki called them that because he was implementing data structures in pure functional languages, so in that context it was reasonable. But in imperative languages, you're right, calling them "purely functional" is meaningless.