問題タブ [do-notation]

List モナドには がありreturn x = [x]ます。では、なぜ次の例で結果が ではないの[(["a", "b"], [2, 3])]でしょうか?

私はこのようなことをしています

if を含む行でコンパイル エラーが発生しますが、同じことを適切に記述する方法がよくわかりません。

より明確にするために、Scala では、私が達成しようとしていることと同等のものは次のようになります。

文字列を Maybe Ints のリストに変換する関数を実装しようとしていますreadInts "1 2 42 foo" = [Just 1,Just 2,Just 42,Nothing]。

私の最初のアプローチは：

これにより、次のエラーが発生しました。

次に試した（そして機能した）のは次のとおりです。

ここでの私の質問は、words s明らかに type[String]です。なぜ通訳者はそれが であると言うのStringですか? <-オペレーターについて何が理解できませんか?