「決定性有限オートマトン」を Haskell で実装してみた - Qiita

先日、Qiita で 「HaksellのStateモナドとReaderモナドで決定性有限オートマトンの実行」 という記事を見かけて、以前自分も Haskell で 決定性有限オートマトンを書いたことを思い出しました。 見直してみると 、遷移関数に漏れがあるとエラーになってしまうという情けない仕様だったので少し手直しをしてみました。 なお、「決定性有限オートマトン」に関しては 「HaksellのStateモナドとReaderモナドで決定性有限オートマトンの実行」 を参照してください。 実装の方針 「現在の状態」は再帰関数の変数として渡す。 遷移関数を連想リストで表現し、lookup 関数で探す。 Maybe モナドを使用することで、遷移関数を見つけられなかった場合でもエラーにならないようにする。 実装 ---------------------------------------------