这适用于 F#4.0：
type Something<'a, 'b when 'b :> seq<'b>>() =
这不会：
type Something<'b when 'b :> seq<'b>, 'a>() =
类型名称中出现意外的符号“,”。应为“>”或其他标记。
类型约束的顺序很重要的原因是什么？
因为它在规范中 - 相关部分是这样的（从第 5 节开始）：
typar-defns:= < typar-defn, ..., typar-defn typar-constraints_opt>
限制需要在最后消除。
In this typar-constraints必须始终从when并且不能出现在其他地方。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
