我可以为Erlang中的正浮点数创建一个类型吗？

Question

我的问题是关于Erlang Type Language。 我可以为Erlang中的正浮点数创建一个类型吗？ 提前谢谢。

Answer 1

此时您无法为单个浮点数定义类型（即-type one() :: 1.0.）。

另一方面，尽管实施起来可能非常复杂，但这似乎是一个好主意。

您可以考虑在https://github.com/erlang/eep

创建新的EEP

或在http://bugs.erlang.org/

打开问题

或者甚至更好，如果您正在接受挑战，请将PR发送到https://github.com/erlang/otp。

如果您执行上述任何操作，请不要忘记允许number()类型的相同程度的自由;）