applicative

0熱

1答えて

PureScriptでファントム応用ファンクタを作成するには？

私はthis paperを読んでおり、Monoidsはファントム応用ファンクタであると言います。 私はpurescriptにファントムタイプを設定しようとしましたが、Functorインスタンスにタイプエラーが発生しました。私の推測では、コンパイラはaがマップを実行した後にAccy o aに何が入っているのか分からない。どのように私はそれを修正するだろうか？ newtype Accy o a = A

haskell applicative purescript monoids 2017-05-13

---

3熱

1答えて

選択モナドが応用モナドであることをCoq証明する

私はcoqにはかなり新しく、これまで手で証明できるものだけを証明することができました。ですからセレクションモナドを見て、それをインテルで実装しようと思ったとき、それは良いエクササイズになると思ったが、私は立ち往生した。誰かが、選択モナドが応用的でモナドであるという証拠の例をcoqで提供することができますか？ここにfunkのhaskell実装があります。 newtype Sel r a = Sel

functor coq applicative theorem-proving 2017-02-09

---

11熱

1答えて

ApplicativeDo言語拡張で、 `Parsing`アプリケーションでMonadインスタンスを探しています。

parserspackageの構文を使用してパーサを書き込もうとしています。do構文を使用しています。ここでは一例です：GHCは私を与える {-# LANGUAGE ApplicativeDo #-} import Text.Parser.Char (string, spaces) import Text.Parser.Token (TokenParsing, natural) issue

haskell ghc applicative 2017-02-16

---

1熱

1答えて

適用可能な準同形性を迅速にチェックするには？練習として

、私はquickCheckに応用的の準同型プロパティしようとしています：私は一般的なプロパティを記述しようとすると < F純粋 *>純粋X =（FX）純粋 をファントムの種類を使用して、私は無限のエラーを推論できないように見える。この時点で、私はコードに多くの型の注釈を追加しましたが、まだこれらのエラーが発生しています。 {-# LANGUAGE ViewPatterns #-} import

haskell applicative quickcheck 2017-05-30

---

3熱

1答えて

Constインスタンスの<*>が2つの非機能的な値を受け入れるのはなぜですか？

(<*>) :: Applicative f => f (a -> b) -> f a -> f b Const :: a -> Const a b Monoid m => Applicative (Const * m) Const "a" <*> Const "b" -- yields Const "ab" Const a <*> Const a = Const a <> Const

haskell applicative 2017-05-30

---

1熱

2答えて

申請者に純粋な値を適用するための事前定義Haskell演算子？私は機能を持っている場合は、次のよう

（例えばタイプa -> bの）Applicativeで包み、それに適用される値（上記の例ではタイプaのすなわち値）、私はそれを適用することができます。 doSomething :: Applicative f => f (a -> b) -> a -> f b doSomething wrappedFn arg = wrappedFn <*> (pure arg) 私は自分自身にこれをたくさ

haskell operators applicative 2017-04-11

---

1熱

1答えて

モナド変圧器および応用的かもしれない

そのよう： let maybeReader :: Maybe (ReaderT UDCEnv IO()) = uploadVersionFilesToCaches s3BucketName <$> maybeFilePath <*> Just gitRepoNamesAndVersions 私はそうであっても同じようReaderTを実行することができます。 let maybeIO :

haskell monads monad-transformers applicative maybe 2017-04-14

---

3熱

1答えて

エラートン〜トン - > T1

I持って次のコード：私はGHCiの中で次のエラーを取得しています {-# LANGUAGE DeriveFunctor #-} data Foo a = Foo { field1 :: a, field2 :: a} deriving (Functor) instance Applicative Foo where pure a = Foo a a f <*> a =

haskell applicative 2017-02-23

---

-1熱

1答えて

このアプリケーションファンクタの定義では、get（）とunit（）は何ですか？

私はいくつかのファンクション、モナド、およびアプリケーションをjavaでコーディングしようとしています。私はいくつかを見つけて、以下のものを選んだ。 カテゴリ理論では、get（）は何を返していますか？ ユニット（）は何らかのアイデンティティーのように思えますが、何から何に変わりますか？あるいは、これはコンストラクタですか？ 私はを見ました。 get（）を持つファンクタの定義です。これは何を返すだろ

java functional-programming functor applicative category-theory 2017-06-20

---