Можно ли создавать Size Types в Scala?

Question

Можно ли создавать такие типы, как, например, String(20) в скале?

Цель состоит в том, чтобы иметь проверки компилятора для таких вещей, как:

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

Да, это возможно, используя кодировку церковных цифр. У Джима МакБита есть хорошая серия блогов, касающихся этого. Начните здесь , но продолжайте искать другие ссылки в Интернете. Он был не единственным, кто говорил об этом, и это был не единственный его пост.

Это, однако, не очень практично.