State diagram と関数型言語って相性いいの?

状態をできるだけ持たないような設計を目指すのが関数型だと思ってたけど