問題タブ [do-notation]

これが問題の要点です:

returnステートメントをそれに追加する方法を示すためのボーナスポイント。

作業コード

このリンクは、命令型スタイルを使用して問題空間を探索できる、ある程度機能するコードを示しています。

私はこのモナドオブジェクトを持っています。

そして、「文字を読み取る」と言われる のこの定義がありitemますが、読み取りが行われていることは実際にはわかりません。

でも、大丈夫、多分、「読む」という言葉を文字通りどのように受け取ってジャイブするかについて、リラックスする必要があるかもしれません。先に進みます、私は持っています

そして、これは私がかなり混乱するところです。変数には何が格納されていますcか? itemはParserwith parameterであるため、そのようなオブジェクトを格納Charしていると最初に推測します。cしかし、少し考えてみると、記法が機能しないことがわかりdoました。モナドを取得せず、モナドの内容を取得します。素晴らしいですcが、それは機能であることを教えてくれます

しかし、定義の次の行が文字のようにsat扱われるため、明らかにそれは間違っていcます。それは私が期待したものではないだけでなく、私が期待したものから約 3 レベル構造が下がっています! 関数でも、オブジェクトでも、タプルでもなく、関数内に埋め込まれMaybeたタプルの左座標です! Justその小さなキャラクターは、外でどのように働いているのですか? <-モナドのこの部分を抽出するように指示しているのは何ですか?