純粋関数型言語でカウンタが作れないというのは、
同じ関数を呼び出した結果がカウントアップされるような関数のこと。
pythonで書くとこんな感じ。
>>> def create_counter():
　　n = 0
　　def counter():
　　　　nonlocal n
　　　　n += 1
　　　　return n
　　return counter

>>> counter = create_counter()
>>> counter()
1
>>> counter()
2