4
据部分泛型类型:http://msdn.microsoft.com/en-us/library/dd233230.aspx那么这些形式是相同的:不同的方式在这里指定一个泛型类型
type 'a MyType = ....
type MyType<'a> = ...
,但第二个形式允许你指定的类型参数,如列表:
type MyType<'a,'b> = ...
这是正确的吗?
据部分泛型类型:http://msdn.microsoft.com/en-us/library/dd233230.aspx那么这些形式是相同的:不同的方式在这里指定一个泛型类型
type 'a MyType = ....
type MyType<'a> = ...
,但第二个形式允许你指定的类型参数,如列表:
type MyType<'a,'b> = ...
这是正确的吗?
没错。有一种方法可以在第一种样式中提供多个参数:
('a,'b) MyType
但这是为了兼容性,不建议使用。
您可以使用第一种形式指定多种类型:'type('a,'b)blarg ='a *'b'的布拉格。 – Juliet 2011-05-12 02:54:57