Scala 交叉编译文字类型

【问题标题】：Scala cross compiling literal typesScala 交叉编译文字类型
【发布时间】：2020-06-29 00:46:22
【问题描述】：

有没有办法将文字类型交叉编译到 Scala 2.12？

我们说

def foo[S <: String](implicit V: ValueOf[S]): String = V.value

println(foo["bar"])

Shapeless 可以使用shapeless.Witness 编码文字类型，因此应该可以填充ValueOf，或者提供另一个具有Scala 版本特定实现的类型类。但我对如何处理表达式 foo["bar"] 有点迷茫。

【问题讨论】：

【解决方案1】：

foo["bar"] 在 2.12 中不可解析。

你应该使用foo[Witness.`"bar"`.T]

def foo[S <: String](implicit V: Witness.Aux[S]): String = V.value

println(foo[Witness.`"bar"`.T]) //bar

【讨论】：

希望有一种比使用 Witness 更优雅的方法，哦，好吧
@gogstad 好吧，还有稍微过时的 Scala 的 Typelevel fork github.com/typelevel/scala 和编译器插件 github.com/jeremyrsmith/literal-types
@gogstad 如果问题是单词Witness 太长，您可以像在github.com/fthomas/refined W.`"bar"`.T 中那样引入别名。