Cabbage.hs： module Cabbage where
class Cabbage a
where foo :: a -> String -- the parameter is only present for its type,
-- the parameter value will be ignored
bar :: String -
F＃の値制限がどのように機能するのか分かりません。私はwikiとMSDN documentationの説明を読んだ。私は理解していないことである。 例えば、これは私に（this質問から撮影）値の制限のエラーを与えるなぜ、： let toleq (e:float<_>) a b = (abs (a - b)) < e
しかし、THSはしていません： これは、すべての権利を一般化され let to
これは私のコードです： type Cell<'t>(initial : 't) =
let mutable v = initial
let callbacks = new List<'t -> unit>()
member x.register c = callbacks.Add(c)
member x.get() = v
member x.set
この質問は、優秀なファンタジーの新しい章を読んでいる間に、アプリケーション・ファンクターについてのハスケルです。 のApplicative型クラスは、たぶん、インスタンスの定義の一部として、があります。 pure = Just
私はちょうどGHCiのと輸入Control.Applicativeに行き、そしてそうした場合： pure (3+)
Iドンちょうど何かを得る（意味をなさない）。私は