Comment by dschiptsov

Does side-effect-free programming with persistent data-structures on share-nothing, actor-based architecture, in other words Erlang is qualified to be lock-free?

It seems that Haskell also doesn't exist.)