さて、 私はシーケンスの次の定義を持っている： datatype 'a seq = Nil | Cons of 'a * (unit-> 'a seq);
私は次の関数を実装する必要があります。 filterq_n:('a -> bool) -> int -> 'a seq -> 'a seq
関数は、真または偽、n（整数）およびシーケンスを返す述語関数を取得します。 機能： もしN <
オンラインブック「計算カテゴリー理論」http://www.cs.man.ac.uk/~david/categories/book/book.pdfを熟読しており、この本の問題2.10にいくつか問題があります。特に、パワーセットの定義によると、しかしではないの、私は整数の集合の濃度を計算することができますなぜ val someset=singleton(3); (*corresponds to t
、あなたは巣署名することができます誰もが使用中のこののいずれかの例を持っていた場合、私はそれが必要とされるであろう任意の場所を考えることができないので、 module type FOO =
sig
module type BAR
(* … *)
end
私は、思っていました。私はそれがおそらくファンクターのリターンシグネチャーでは便利だと思いますが、私は特定の事柄につい