タグ付けされた質問 「functor」

C ++のファンクターについては、よく耳にします。誰かが私にそれらが何であるか、そしてどのような場合にそれらが役立つかについて概要を教えてもらえますか？

876 c++  functor  function-object  function-call-operator 

C ++テンプレート関数を引数として渡すことに関するルールを探しています。 これは、次の例に示すように、C ++でサポートされています。 #include <iostream> void add1(int &v) { v+=1; } void add2(int &v) { v+=2; } template <void (*T)(int &)> void doOperation() { int temp=0; T(temp); std::cout << "Result is " << temp << std::endl; } int main() { doOperation<add1>(); doOperation<add2>(); } ただし、この手法について学ぶことは困難です。「テンプレート引数としての関数」のグーグルはあまり役に立ちません。そして、古典的なC ++テンプレートの完全ガイドでは、驚くべきことに、それについても説明していません（少なくとも私の検索では）。 私が持っている質問は、これが有効なC ++（または単に広くサポートされている拡張機能）かどうかです。 また、この種のテンプレート呼び出し中に、同じシグネチャを持つファンクターを明示的な関数と交換可能に使用できるようにする方法はありますか？ 上記のプログラムでは、少なくともVisual …

224 c++  templates  code-generation  functor 

関数型プログラミングに関するさまざまな記事を読んでいる間、「Functor」という用語に何度か遭遇しましたが、著者は通常、読者がこの用語をすでに理解していると想定しています。Webを見回すと、過度に技術的な説明（Wikipediaの記事を参照）または信じられないほどあいまいな説明（このocamlチュートリアルWebサイトの Functorsのセクションを参照）が提供されています。 誰かが親切に用語を定義し、その使用法を説明し、おそらくファンクターがどのように作成され使用されるかの例を提供できますか？ 編集：私はこの用語の背後にある理論に興味がありますが、その概念の実装と実際の使用には興味がありません。 編集2：いくつかのクロスターミノリジーが起こっているように見えます：私は特にC ++の関数オブジェクトではなく、関数型プログラミングのファンクターに言及しています。

224 functional-programming  ocaml  functor 

型クラスXが何であるかを誰かに説明しながら、正確にXであるデータ構造の良い例を見つけるのに苦労しています。 だから、私は次の例を要求します： Functorではない型コンストラクター。 Functorであるが、Applicativeではない型コンストラクター。 Applicativeですがモナドではない型コンストラクタです。 モナドである型コンストラクタ。 どこにでもモナドの例はたくさんあると思いますが、前の例とある程度の関係があるモナドの良い例は、絵を完成させることができます。 特定の型クラスに属するために重要な点のみが異なる、互いに類似する例を探します。 アローの例をこの階層のどこかに忍び込むことができたなら（それはApplicativeとMonadの間ですか？）、それも素晴らしいでしょう！

209 haskell  monads  functor  applicative 

閉まっている。この質問はスタックオーバーフローのガイドラインを満たしていません。現在、回答を受け付けていません。 この質問を改善してみませんか？Stack Overflowのトピックとなるように質問を更新します。 4年前休業。 この質問を改善する F＃はOCamlから派生していますが、欠落または追加されている主要なアイテムは何ですか？具体的には、OCamlの学習に利用できるリソースがF＃を学びたい人にも役立つかどうかに興味があります。

126 f#  ocaml  functor 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b 本質的に同じことをする3つの異なる関数があるのはなぜですか？

102 list  haskell  monads  redundancy  functor 

これはラムダ関数の質問ではありません。ラムダを変数に割り当てることができることを私は知っています。 コード内で関数を宣言することはできるが、定義することはできないというのはどういう意味ですか？ 例えば： #include <iostream> int main() { // This is illegal // int one(int bar) { return 13 + bar; } // This is legal, but why would I want this? int two(int bar); // This gets the job done but man it's complicated class three{ int m_iBar; public: …

80 c++  functor  function-declaration 

Applicative型クラスは、型指定された機能のカテゴリにデカルトmonoidal構造を保持ずさんmonoidalファンクタを表します。 言い換えると(,)、モノイド構造を形成する正準同型が見られる場合： -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, b), c) lunit_fwd :: ((), a) -> a lunit_bwd :: a -> ((), a) runit_fwd :: (a, ()) -> a runit_bwd :: a -> (a, …

9 haskell  functor  applicative  category-theory 

セットのカテゴリーは、デカルトのモノイドとコカルテシアのモノイドの両方です。これらの2つのモノイド構造を示す正準同型のタイプを以下に示します。 type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: a -> b, bwd :: b -> a } eassoc :: Iso ((x + y) + z) (x + (y + z)) elunit :: Iso …

8 haskell  filter  monads  functor  category-theory