1
"unwind"タイプエイリアスを探しています。Scalaで型コンストラクタのパラメータを取得する方法は?
次の例では、「O」だけが、別名type
エイリアスラインで定義されたタイプエイリアスを持っています。
type CodebookDetails = List[(String, List[String])]
type O[I] = CodebookDetails
requestDecodeIterable[I, O](request)
は、それは同様の方法でI
を取得することは可能ですかこれは
requestDecodeIterable[(String, List[String]), List](request)
、 '型CodebookDetails =リスト[(文字列、リスト[文字列])] 型O [I] = CodebookDetails''' ' I'は無意味です。つまり、const関数 'f(x)= 4'に相当します。 – wheaties
私はあなたが定義する必要があることを恐れています:タイプI =(String、List [String])おそらく新しい世代のスカラになるでしょう、時間があれば見てください:http://dotty.epfl.ch/docs /internals/higher-kinded-v2.html – Pavel