- 「Couldn't match type ‘x’ with ‘Int’」というエラーメッセージの通り、
put
によってStateT Int
のInt
という具体的な方の値を更新しようとしているにもかかわらず、x
を指定してしまっています。 - 「Couldn't match type ‘IO’ with ‘Data.Functor.Identity.Identity’」というエラーメッセージのとおり、
evalStateT
を使うべきところでevalState
を使ってしまっています。(type State s = StateT s Identity
という定義なのを覚えておいてください!)
以上を解決すれば、意図通りに動作するはずです。
以下は古い回答です。いただいたコメントとの整合性をとるために一応残しておきます。
updateMax
のところで「x
が現在保存している値(get
で取得できる値)より大きければ更新する」というロジックを加えるのがポイントです。
難しければ、ほかのプログラミング言語で命令型のアルゴリズムで試しに書いてみると分かりやすいかも知れません。
StateT
はそうした命令型のアルゴリズムを翻訳するのにも使えるので。