問題タブ [maybe]

Essentially I have a function that uses Maybe Int's to display a Sudoku problem. The Solution to the Sudoku contains only Ints and the code for displaying the Grid will be almost identical, with the exception of Maybe Int used for Problems and Int used for Solutions.

Is it possible to use Int values for a function that requires Maybe Int, if so how?

Edit: Just would work, is there a way to convert a list of Int's into maybe Int's?

頭を悩ませている Haskell の問題について助けが必要です。私が望むことを達成するために必要な手順 (ちょっと) は知っていますが、それを行う方法が本当にわかりません。

例えば

のリストがあるとしますMaybe Int-[[Just 2, Nothing, Just 3],[Just 6,Just 3, Just 3],[Nothing,Nothing, Just 1]]

その関数を作成する必要があります。

Maybe Int1)のリストを取る

2) 最初のリストを取得 ( head?)

3) リスト内の各要素を再帰します -(x:xs)

4) -Maybe Intに変換CharfromEnum

5)Stringすべての文字を含む完全なものを返します -(++) = [char] / String

6) リスト = になるまで、次のリストに移動します。[]

したがって、最終結果は次のようなものになり、別の行に出力されます。

私はそれを可能な限り説明しようとしましたが、ヒント/ヘルプ/情報源をいただければ幸いです.

私は最近 Haskell に飛び込み始めました。非常に興味深いが、その定義はNothing私を困惑させ、沈んでいない. GHCIについて

であってはならないNothing、Just NothingなぜMaybe aですか？

失敗する可能性のある関数があるため、関数が返す値を Maybe でラップする必要があります。これも失敗する可能性のある別の関数を使用しており、これも Maybe にラップされています。問題は、型を中間計算で機能させるために、Maybe コンテキストで機能するように関数を「時期尚早に」持ち上げる必要があることです。その結果、私が望むのは Maybe [Integer] であるのに、Maybe [Maybe Integer] という型を取得することになります。問題の関数は exptDecipherString 関数です。「時期尚早」なリフティングを強制する関数は、modularInverse 関数です。

ポインタを使用せずにObjective Cで多分型を表す最良の方法は何ですか? オブジェクトへのポインターへのポインターはオブジェクトではなく、オブジェクトである必要があるため、オブジェクトへのポインターへのポインターを単純に使用することはできません。

これを行う 1 つの方法は、持っているオブジェクトごとにカスタム クラスを作成することです。これにより、MaybeEmployee、MaybeOrderStatus などのクラスが作成され、さらに多くのカスタム クラスが作成されます。これはうまくいくでしょうが、それはぎこちなく、あまり良い解決策とは言えません。

単純に Maybe クラスを持つ 2 番目の方法も間違っているようです。型安全性の欠如は、単に悪いことです。

このチュートリアルでは、次のスニペットを見つけました。

関数がどのように機能するのか理解できません>>=。Maybe a最初は、最初のパラメーターとして値を取ります。deposit 100 account >>=

その後、しかし、それはa -> Maybe a最初のパラメータとしてとられるようです：withdraw 200 >>=これはコンパイラによってどのように承認されるのでしょうか？常に最初のパラメータとして>>=とるべきではありませんか？Maybe a

考えられる解決策は、>>=関数の優先順位が次のように機能する場合です。((a >>= b) >>= c) >>= d

しかし、私が知る限り、それは反対です。a >>= (b >>= (c >>= d))

Maybe Listたとえば、エラー処理を除いて、リストはMaybeそれ自体が少しあるため、通常は表示されません。リストには独自の " Nothing":[]と独自の " Just":があり(:)ます。私は、Maybe と関数を使用して、標準リストと「実験的」リストに変換するリスト型を作成しました。toStd . toExp == id.

繰り返しを減らし、一般化する試みとして、それについてどう思いますか?

これらのリストを使用して、ツリーも定義できます。

ただし、この最後のコードはテストしていません。

インデックス演算子のように機能する次の関数があります。

さて、最初はこれを使用せずに書きましたJust（そして、グーグルの後でもそれが何であるかはまだわかりません）：

私にとって、上記の機能は完全に理にかなっています。ここには、「ジェネリック型」のリストを受け入れる関数とa、IntインデックスでありMaybe、型の値を返すaか、ランタイム例外をスローする関数があるためです。ただし、GHCiがこれを教えてくれるところが少しわかりません：

では、なぜ GHCi は の型と混同され、型のlリストを期待しているのMaybe aでしょうか? 最後に、どのようJustに問題を解決しますか?

私は、c++11機能を使用したデータ構造のようなboost::optionalの実装を実験しています。これが私がこれまでに持っているものです：

無制限のユニオン機能を使用して、動的に割り当てられるスペースの代わりに、その場で格納できるオプションの値用に適切に配置されたスペースを作成します。参照を使用して多分<>を作成する場合を除いて、ほとんどの場合は機能します。たとえばmaybe<int&>、g ++ 4.7は次のように文句を言います：

多分クラスストア参照を作成するにはどうすればよいですか？クラスに対するその他の改善/提案も歓迎します。