applicative

3熱

1答えて

ラムダ関数の応用ファンクタをテストしていますが、私が書いた以下のコードが残っています。「myAddition」「はランダムA」の累計を取る必要があります。私は、これは、関連する data Random a = Nill | Random a deriving (Show, Ord, Eq) randomOrNot = [Nill, Random 22, Random 101, Nill,

1熱

1答えて

ドレッシング表記

私は砂糖にしたいと思います。しかし、私は右のそれを持っているかどうかイムわからない：されています： quote = do time <- qtime qcomma ask <- double qcomma bid <- double qcomma askVolume <- double qcomma

3熱

1答えて

haskellの>>演算子の逆数

モナドを使用してアプリケーションとファンクタを使用するときにコードが似ているので、>>=の代わりに=<<を使用しています。私も*>/>>の代わりに<*を使っています。しかし、私は、<*が*>でないことに気付きました。何が=<<にありますか？>>=です。例えば： print 5 <* print 6 は私を与える：私は呼ばれて print 6で、周りに他の方法を印刷するためにそれらを期待してい

1熱

1答えて

アプリケーションファンクタの逆浮上

これは簡単な解決策があるとは思っていますが、それは私を逃してしまい、まっすぐ答えが見つからないようです。バイナリ機能を想定しliftA2を適用することがすでに署名は次のようになり、一度持ち上げられた通常、：： liftA2' :: (Applicative f1, Applicative f) => (f a -> f b -> f c) -> f1 (f a) -> f1 (f

0熱

2答えて

特定のメソッドの汎用クラスを制約できますか？

たとえば、TypeScriptでコンテナを作成します。これは、任意のコンテナかもしれないが、私は次の簡単な例を使用します： class Container<T> { val: T; constructor(t: T) { this.val = t; } } は、私が番号を持つ2個のコンテナを持っている場合、私は簡単で新しいコンテナを作成できるように、私

0熱

1答えて

適用ファンクタ純粋なマッチングはラップされていません

私はアプリケーションファンクタについて学んでいます。応用的Maybeためsourceでは、pure関数は次のようになります。拡大引数を指定し instance Applicative Maybe where pure = Just ...etc 、私はそれがどのように見えると思う：私はpure (Just 5)を呼び出すとき pure x = Just x 、それはJu

1熱

3答えて

Haskellでは、型なしのASTをGADTに基づいて型付けされたASTにパースする方法はありますか？

私はハスケルでドメイン固有の言語を書いており、という2つのASTを持つデザインを定義しています。構文を表す初期の型なしのものと、すべてを表すの最終型付きのものです。私は GADTとして最終的なものを書いています。は、私はそれがほとんど作業だと思うが、私はは、初期変換する機能を書いてトラブルを抱えている - >最終（タイプをチェックし、加えていくつかの他のものは、すべての参照のようなは変数

18熱

2答えて

カテゴリー理論POVのApplicative Functor定義は何ですか？

私は、次のようにHaskellの定義にカテゴリ理論から関数子の定義をマッピングすることができた：Haskのオブジェクトがタイプなので、関手F は大まかに、によって新しいタイプF aにあらゆるタイプHaskのaをマップそれに "F"を付けて言ってください。はfmap :: (a -> b) -> (f a -> f b)を使用してのHaskを新しいモーフスF a -> F bにマップします。これ

25熱

2答えて

HaskellのApplicativeの<*>の語源は何ですか？

<*>という名前は、文章やコードに最初に登場しましたが、シンボルの選択についての説明はありますか？