Fatal编程技术网
  • erlang/
  • 最后一个Erlang版本需要什么is_子类型

最后一个Erlang版本需要什么is_子类型

erlang

最后一个Erlang版本需要什么is_子类型,erlang,Erlang,根据，要约束中函数的输出类型：：约束可在-spec属性的部分中使用 -spec id(X) -> X when X :: tuple(). 为了向后兼容，还可以使用： -spec id(X) -> X when is_subtype(X, tuple()). 但不鼓励（不推荐）使用is_子类型。当X:：tuple（）时，需要使用is_子类型而不是：：？语法-spec id（X）->X的最后一个Erlang版本是什么。语法-spec id（X）->X when is_subtype

根据，要约束
中函数的输出类型：：
约束可在
-spec
属性的
部分中使用


-spec id(X) -> X when X :: tuple().


为了向后兼容，还可以使用：


-spec id(X) -> X when is_subtype(X, tuple()).



但不鼓励（不推荐）使用is_子类型。当X:：tuple（）时，需要使用is_子类型而不是：：？
语法
-spec id（X）->X的最后一个Erlang版本是什么。语法
-spec id（X）->X when is_subtype（X，tuple（））。
与R13B04和R14B04一起编译。因此，我相信您的问题的答案是Erlang/OTP R13B04。
语法
-spec id（X）->X当X:：tuple（）时。
不使用Erlang/OTP版本R13B04编译，而是使用R14B04编译。语法
-spec id（X）->X when is_subtype（X，tuple（））。
与R13B04和R14B04一起编译。因此，我相信您的问题的答案是Erlang/OTP R13B04。
如果您从实用的角度感兴趣，只需使用新的表示法，而不必费心。我需要支持旧的Erlang版本，并且需要知道，我是否可以使用当前的表示法……如果您从实用的角度感兴趣，只需使用新的表示法，不必费心。我需要支持旧的Erlang版本，并且需要知道，我是否可以使用当前的表示法。。。