2つのジェネリックを持つスカラー法で、1つを推論することができます

Question

私はScalaを初めて使う人です。私は、タイプRQのリクエストをサーバに送り、レスポンス[RSP]のレスポンスを受け取るメソッドを書いています。簡易版：私が電話をかけるための方法を定義する：

def invoke[RQ, RSP](request: RQ): Response[RSP] = {....} 

Iメソッドを呼び出すと、私は受信変数の型を指定した場合、すべてのパラメータが次のように推測することができる。

val result: Response[Double] = invoke("Hello") 

しかし、私がちょうどinvoke("Hello")と何も割り当てないと言うと、それはコンパイルされません。 2つのジェネリックタイプ（たとえばinvoke[String, Double]("Hello")）を指定する必要があります。私の質問です：文字列は、パラメータから推論することができます。 RSPジェネリックだけを指定してコールを書き込む方法はありますか？の行の何か：invoke[ , Double]("Hello")？

Answer 1

No.

これは何回か尋ねられた機能です。 Scalaのの将来のバージョンでは、方法のために名前付き引数に似た構文をサポートすることがあります。現時点では

invoke[RSP = Double]("Hello") 

、そこに方法は一つだけの型パラメータを持つように何もずっとあなたが再構築を除いて、あなたのコードを実行することはできませんし、 2番目は周囲のコンテキストから来ます。

さらに興味深いのは、どうしても結果を放棄すれば、戻り値の型が気になるのでしょうか？あなたのメソッドがCommand-Query Separation Principleに違反しているようです。メソッドが単にUnitを返した場合は、2番目の型パラメータは不要で、すべて正常に動作します。戻り値を実際に使用した場合、型推論器は少なくともコンテキストから2番目の型パラメータを推論する機会があります。しかし、戻り値の型パラメータを持ち、戻り値を無視しているということは、型推論器が見るためのコンテキストがないことを意味します。