使用自由綁定泛型類型作爲類型參數

Question

您是否看到一種方法來指定我的結果類型必須是MonadType <參數類型>在此接口內？

interface IMonad<MonadType> // where MonadType : GenricType<> 
{ 
    MonadType<T1> unit<T1>(T1 t) 
    Func<MonadType<T1>, MonadType<T2>> map<T1, T2>(Func<T1, T2> f); 
} 

我得到的錯誤： 類型參數「MonadType」不能與類型參數

Answer 1

沒有被使用，則不能使用.NET泛型做到這一點。你想要做的是指定MonadType類型參數本身必須有一個通用參數; .NET類型系統不能表示該約束。

下面是在C＃中僞造泛型monads的一種方法：http://sandersn.com/blog//index.php/2010/04/23/faking-type-classes-in-c