scala - 可以在 Scala 中创建大小类型吗？

Question

是否可以创建类型，例如String(20) 在 Scala 中？

目的是让编译器检查以下内容:

a: String(20) 
b: String(30)
a = b; // throws a compiler exception when no implicit conversion is available
b= a; // works just fine

注意:它不需要被/命名为String

Answer 1

是的，这是可能的，使用教堂数字编码。 Jim McBeath 有一系列与此相关的博客。开始here ，但请继续在 Internet 上寻找其他引用资料。他不是唯一一个谈论这件事的人，这也不是他唯一的帖子。

然而，它不是很实用。