如何约束参数定义中列表的最大长度？

Question

我的一个函数是从零到五个整数参数以及从零到五个字符串参数。 所以我认为它定义为2个列表的函数： f(numbers: List[Int], strings: List[String]) 。 但是我认为如果可能的话，限制长度是好的，因为IDE和/或编译器可以强制执行它。 这可能吗？

Answer 1

我认为你真的要求很多这种类型的系统...这是依赖类型编程的经典任务，不幸的是Scala不属于这类。

你可以看看马克哈拉的类型级自然 ：

type _0 = Nat0
type _1 = Succ[_0]
type _2 = Succ[_1]
// ...

但是如果沿着这条路走下去，你将不得不以这样的方式构建所有列表，使得编码器的长度类型很明显。 这意味着没有递归，没有无限循环等。此外，你必须想出一种在类型系统中编码“<”的方法...因为你不能做递归我不知道你是怎么做的去做。 所以，可能不值得。

也许解决这个问题的另一种方法是弄清楚'0..5'来自何处并基于该信息约束其他类型？

作为最后的手段，您可以为允许的大小定义特殊情况，分开以便您没有25个案例：

case class Small[+X](l: List[X])

def small(): Small[Nothing] = Small(List())
def small[A](a: A): Small[A] = Small(List(a))
def small[A](a1: A, a2: A): Small[A] = Small(List(a1,a2))