それとも、これは関連していますか?
私が念頭に置いているのは、次のようにClassTagまたはTypeTag注釈を使用することです。
scala>
import scala.reflect.runtime.universe.TypeTag
def f[T : TypeTag](ls : List[T]) : String = {
???
}
結果:
f: [T](ls: List[T])(implicit evidence$1: reflect.runtime.universe.TypeTag[T])String
ご覧のとおりTypeTag、暗黙の引数を追加するコンパイラによって認識されます。に相当するものはありscala.metaますか? これはどのように機能し、消去の処理方法に変更はありますか?