maybe

31熱

5答えて

私は比較的新しいHaskellで、 "Real World Haskell"を読み始めました。私はちょうどタイプを見つけました。たぶん、例えば「ちょうど1」から実際の値を受け取る方法についての質問があるかもしれません。私は、次のコードを書かれている： combine (Just 1) Nothing (Just 2) をしかし、私は変更する場合、例えば、1列に、それは動作しません。これは私が使

23熱

2答えて

F＃には標準オプションワークフローがありますか？

スタンダードF＃ライブラリにオプション（多分）wokflow（monad）はありますか？私はこのワークフローの手作りの実装（1、2）を見つけましたが、実際に非標準で信頼性の低いコードを私のプロジェクトに導入したくありません。そして、googleとmsdnへの想像を絶するすべてのクエリは、私にどこにそれを見つけるかという手がかりを与えませんでした。

6熱

1答えて

Haskellの "Maybe"を使って、宣言を入力してください[初心者の質問]

私はHaskellを試し始めて問題があります。 qqqは "Nothing"で呼び出された場合に1つの文字列を出力し、 "ただのもの"で呼び出された場合は他の文字を出力する関数です。 qqq Nothing = print "There isn't anything to be printed." qqq (Just x) = print "There is something to be pr

3熱

4答えて

Haskell "Nothing"値の混乱

私は最近ハスケル号へのダイビングを開始しました。 ITSは非常に興味深いが、Nothingの定義が私をバッフルとGHCiの Prelude> :t Nothing Nothing :: Maybe a で。で沈没されていないNothingはJust Nothing、なぜMaybe aではないでしょうか？

10熱

2答えて

ハスケル初心者

なぜ私はGHCiから次の応答を得るのか分かりません。 Maybeはコンストラクタ関数ではありませんか？ Prelude> :t Maybe <interactive>:1:1: Not in scope: data constructor `Maybe' Prelude> let e = Maybe 5 <interactive>:1:9: Not in scope: data cons

1熱

1答えて

余分なものを取り除く方法

私は失敗する可能性がある関数を持っているので、返す値をMaybeにラップする必要があります。それは失敗する可能性のある別の関数を使用し、それもMaybeでラップされます。問題は中間の計算で型を動かすために、私はMaybeのコンテキストで機能するために関数を "時期尚早に"持ち上げなければならないということです。その結果、私のタイプは「おそらく整数」になります。私が望むのはたぶん[Integer]で

9熱

1答えて

関数は「何もない」の代わりに「ソリューションなし」を返す

私は述語ロジックの式を表す標準データ型を持っています。和のための自然演繹除去規則を表す関数は次のようになります。 d_el p q = if p =: (Dis r s) && q =: (Neg r) then Just s else if q =: (Dis r s) && p =: (Neg r) then Just s else Nothing where r

10熱

1答えて

モナド変圧器モナドの複製

私はモナド変圧器を初めて使用しています。私は値val :: MaybeT IO Stringと機能fn :: String -> IO [String]を持っています。バインド後、私はval >>= liftM fn :: MaybeT IO (IO [String])を持っています。重複するIOモナドを削除し、タイプMaybeT IO [String]の結果を得るにはどうすればよいですか？