functor

31熱

4答えて

私の自由な時間に私はHaskellを学んでいるので、これは初心者の質問です。私はEither aがFunctorのインスタンス作られる様子を示した例に出くわした私の読書で：今 instance Functor (Either a) where fmap f (Right x) = Right (f x) fmap f (Left x) = Left x は、私がRight

69熱

5答えて

Monads as adjunctions

私はカテゴリ理論でモナドについて読んできました。モナドの定義の1つは、1組の随伴ファンクタを使用します。モナドは、それらのファンクタを使用するラウンドトリップによって定義されます。どうやら副作用はカテゴリ理論では非常に重要ですが、私は橋渡しファンクタの観点からハスケルのモナドについて何の説明も見ていません。誰かがそれを考えていたのですか？

0熱

1答えて

テンプレートファンクタへのポインタを持つMapがvalue_typeとして機能しないのはなぜですか？

ビジュアルスタジオborks、テンプレート - ファンクタへのポインタである値の型を持つstd :: mapを作成しようとしました。私はここで違法な行為をしていますか？ // Functor prototype template< class T, class evenT> class FunctionHandler {}; // std::Map definition template

1熱

2答えて

自動的にbind1stのタイプを推測します（mem_fun（＆my_class :: f）、this）？

bind1st(mem_fun(&my_class::f), this)ファンクタをfor_eachに渡したいと思います。残念ながら、ので、私はこのようにそれをもっと読める名前を付けたいと思い読みするのが非常に困難である： (the type I am looking for) meaningful_name = bind1st(mem_fun(&my_class::f), this); fo

19熱

3答えて

メイキング

がどのように私はnewtypeに頼らず(a, a)Functorを作ることができる（a）のファンクタ？基本的に私はそれがこのように仕事をしたい： instance Functor (a, a) where fmap f (x, y) = (f x, f y) しかし、もちろん、それを表現するための法的な方法ではないこと： Kind mis-match The first argu

18熱

2答えて

どのようにboost :: bind privateメソッドを呼び出すことができますか？

boost :: bindは、多くの状況で非常に便利です。それらのうちの1つは、io_serviceがコールを後で行うことができるようにメソッド呼び出しをディスパッチ/ポストすることです。 #include <boost/asio.hpp> #include <boost/bind.hpp> boost::asio::io_service ioService; class A { pu

4熱

2答えて

2つの関数を追加しますか？

私は「深さのC＃」を通じて閲覧し、次のコードにつまずい： Func<string> stringFunc =() => ""; Func<object> objectFunc =() => new object(); Func<object> combined = objectFunc + stringFunc; 私は2つの機能を追加すると、数学では無意味であることをかなり確信しているので

1熱

1答えて

GCC 3.42とVC2008はstd :: transformを異なる方法で扱いますが、ファンクタのリファレンスやコピーを取っていますか？

私はこのファンクタ関連の話題を話題にしました。一般に、標準ライブラリはデフォルトでコピーとしてファンクタを使用すると言われています。多くの例が見つかりました。これはstd::for_eachについても当てはまります。 GCCとVC2008のコンパイラは同じ結果をもたらしました。どちらもファンクタのコピーをとります。しかしstd::transformのために、私は、以下のテストコードの違いを発見し

3熱

8答えて

実行時にC++関数を定義する

私は任意の関数を可能にするために書いたいくつかの数学的コードを調整しようとしていますが、コンパイル時にあらかじめ定義しておくだけです。私は現在、関数ポインタを使用していますが、同じ問題がファンクタで発生することがわかります。単純な例を提供するために、前方差分分化のために使用されるコードである：最初の2つの関数のいずれかが3番目の引数として渡すことができる double xsquared(doubl

4熱

4答えて

テンプレートで使用するために、（Functorメンバーの）関数シグネチャから引数型を取り出すことは可能ですか？

は、あなたがファンクタを持っていると仮定します struct MyFunctor { bool operator()(int value) { return true; } }; は、それはあなたのテンプレート内で使用する数子のメンバーの引数の型を取得することは可能ですか？以下は、この神秘的な機能を使用することである： template < typ