当尝试使用静态类作为类型参数时,C#编译器将抛出一个错误:
var test = Activator.CreateInstance(typeof(List<>).MakeGenericType(typeof(Math)));
我是否正确地总结了这一点在或者,在规范中,这是一个灰色区域,意味着我应该避免使用这
更进一步,是通过在data子句中使用“类型参数”来创建“泛型”类型,就像著名的monad:data Maybe t = Nothing | Just t中一样。这类泛型类型将被广泛的函数使用,并用于寻址,即:异常:可能,全局状态:状态,输入/输出: IO,非确定性:[],环境:读取器,记录器:编写器。b
每个