よく耳にする「(純粋)関数型言語に代入はない」というのはミスリーディングな発言だと思う.

「関数型言語では代入の必要になる場所は少なく,使ったとしても隔離できる」