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

我可以为Erlang中的正浮点创建一个类型吗?,erlang,Erlang,我的问题是关于Erlang类型的语言。 我可以为Erlang中的正浮点创建一个类型吗? 提前感谢。此时您甚至不能为单个浮点数定义类型(即-type one()::1.0.) 另一方面,尽管实现起来可能非常复杂,但这似乎是一个好主意 你可以考虑在创建一个新的EEP 或者在 或者更好,如果你准备迎接挑战,发送一份公关给 如果您执行上述任一操作,请不要忘记允许对number()types;)具有相同的自由度 此时您甚至不能为单个浮点数定义类型(即-type one()::1.0.) 另一方面,尽管实现

我的问题是关于Erlang类型的语言。 我可以为Erlang中的正浮点创建一个类型吗?
提前感谢。

此时您甚至不能为单个浮点数定义类型(即
-type one()::1.0.

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

<>你可以考虑在

创建一个新的EEP 或者在

或者更好,如果你准备迎接挑战,发送一份公关给


如果您执行上述任一操作,请不要忘记允许对
number()
types;)具有相同的自由度

此时您甚至不能为单个浮点数定义类型(即
-type one()::1.0.

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

<>你可以考虑在

创建一个新的EEP 或者在

或者更好,如果你准备迎接挑战,发送一份公关给

如果您执行上述任一操作,请不要忘记允许对
number()
types;)具有相同的自由度