Skip to main content
型エラーを直す方法を書いて刷新
ソース リンク
YAMAMOTO Yuji
  • 953
  • 1
  • 5
  • 13
  1. 「Couldn't match type ‘x’ with ‘Int’」というエラーメッセージの通り、putによってStateT IntIntという具体的な方の値を更新しようとしているにもかかわらず、xを指定してしまっています。
  2. 「Couldn't match type ‘IO’ with ‘Data.Functor.Identity.Identity’」というエラーメッセージのとおり、evalStateTを使うべきところでevalStateを使ってしまっています。(type State s = StateT s Identityという定義なのを覚えておいてください!)

以上を解決すれば、意図通りに動作するはずです。


以下は古い回答です。いただいたコメントとの整合性をとるために一応残しておきます。

updateMax のところで「xが現在保存している値(getで取得できる値)より大きければ更新する」というロジックを加えるのがポイントです。
難しければ、ほかのプログラミング言語で命令型のアルゴリズムで試しに書いてみると分かりやすいかも知れません。
StateT はそうした命令型のアルゴリズムを翻訳するのにも使えるので。

updateMax のところで「xが現在保存している値(getで取得できる値)より大きければ更新する」というロジックを加えるのがポイントです。
難しければ、ほかのプログラミング言語で命令型のアルゴリズムで試しに書いてみると分かりやすいかも知れません。
StateT はそうした命令型のアルゴリズムを翻訳するのにも使えるので。

  1. 「Couldn't match type ‘x’ with ‘Int’」というエラーメッセージの通り、putによってStateT IntIntという具体的な方の値を更新しようとしているにもかかわらず、xを指定してしまっています。
  2. 「Couldn't match type ‘IO’ with ‘Data.Functor.Identity.Identity’」というエラーメッセージのとおり、evalStateTを使うべきところでevalStateを使ってしまっています。(type State s = StateT s Identityという定義なのを覚えておいてください!)

以上を解決すれば、意図通りに動作するはずです。


以下は古い回答です。いただいたコメントとの整合性をとるために一応残しておきます。

updateMax のところで「xが現在保存している値(getで取得できる値)より大きければ更新する」というロジックを加えるのがポイントです。
難しければ、ほかのプログラミング言語で命令型のアルゴリズムで試しに書いてみると分かりやすいかも知れません。
StateT はそうした命令型のアルゴリズムを翻訳するのにも使えるので。

ソース リンク
YAMAMOTO Yuji
  • 953
  • 1
  • 5
  • 13

updateMax のところで「xが現在保存している値(getで取得できる値)より大きければ更新する」というロジックを加えるのがポイントです。
難しければ、ほかのプログラミング言語で命令型のアルゴリズムで試しに書いてみると分かりやすいかも知れません。
StateT はそうした命令型のアルゴリズムを翻訳するのにも使えるので。