unordered_setのハッシャとして定義可能なファンクタを使用しようとしています。問題は直面していますが、渡されたファンクタを初期化する方法がわかりませんテンプレートパラメータそれはこのようなものでしょう。 class A{
private:
class Hasher{
private:
int a;
public:
スカラー値（例えば、整数または文字列）を実際の値または何らかのNA値で表現し、後でそれらを コレクション（例えばリスト）に格納したいとします。目的は、欠損値を処理することです。これを行うには は、私は今、私はScalar Sが含まれて心の中でいくつかの多型Vectorタイプを持って署名 module type Scalar = sig
type t
type v = Value
私はcoqにはかなり新しく、これまで手で証明できるものだけを証明することができました。ですからセレクションモナドを見て、それをインテルで実装しようと思ったとき、それは良いエクササイズになると思ったが、私は立ち往生した。誰かが、選択モナドが応用的でモナドであるという証拠の例をcoqで提供することができますか？ここにfunkのhaskell実装があります。 newtype Sel r a = Sel