scala - 如何在编译时使用scala验证字符串格式

Question

我的函数有 1 个参数，类型为字符串，但长度为 4，我可以在编译时验证此参数吗？

在 haskell 和 F# 中有类型级别，它可以在编译时验证，就像 nonEmptyList。

如何在 Scala 中实现。我认为 shapless 可以做到这一点，但我不明白

谢谢你的提前建议

Answer 1

是的，Shapeless 可以做到这一点。也许是这样的:

def f(s: Sized[IndexedSeq[Char], Nat._4]): ...

不过，您不能将字符串直接传递给它。您必须执行类似 f(Sized('a', 'b', 'c', 'd'))

的操作