スカラ関数リテラルを構成するときにアンダースコアで部分的に適用する

Question

ほとんどの例とは異なり、私は関数リテラルを作成しています。

私が持っている：

//types 
case class Thing1(v: Double) 
case class Thing2(v: Double) 
case class Thing3(v: Double) 
type Multiplier = Double 

//functions 
val f1 = (t: Thing1, m: Multiplier) => Thing2(m * t.v) 
val f2 = (t: Thing2) => Thing3(t.v) 

私が予想したように、次のようにコンパイルされません組み合わせる機能

Thing1 => (Multiplier => Thing3) 

を取得するために、F1とF2を構成したい：

val fcomposed1 = f1.curried.andThen(f2) // does not compile 

実験によって、私は次のものがコンパイルされ、fcomposedの正しい署名があることを確認できました：

val fcomposed2 = f1.curried(_:Thing1).andThen(f2) 

私はWhat are all the uses of an underscore in Scala?と関連する可能性Why does Scala apply thunks automatically, sometimes?のようなさまざまなソースを読んだが、残念ながら私はまだステップバイステップここで何が起こっているのか、なぜそれが動作を正確に動作することはできません。

また、Iは、fcomposed2と同一に動作するために、2つの式に分離し、上記の期待しかし代わりに第二は、コンパイルされない：f1.curriedとしてf1partialが作るれ、同じ署名を返すよう

val f1partial = f1.curried(_:Thing1) 
val fcomposed3 = f1partial.andThen(f2) // does not compile - same error as fcomposed1 

が見えます私は以前のfcomposed2がどのように機能するのかさらに詳しく知りました。

誰かが両方の行動を段階的に説明できますか？

Answer 1

ここで、_はラムダ式の構文砂糖として機能しますが、期待できないレベルで動作します。

f1.curriedはThing1 => Multiplier => Thing2

f1.curried(_:Thing1)型を持つ{ x: Thing1 => f1.curried(x) }と同じです。 f1.curried(x)の結果はMultiplier => Thing2型であるため、式全体の最終型はまだThing1 => Multiplier => Thing2です。したがって、関数f2（Thing2）の入力タイプが前の関数の出力（Multiplier => Thing2）と異なるため、結果（f1partial）にandThen(f2)を呼び出すことはできません。対照的に、f1.curried(_:Thing1).andThen(f2)は、{ x: Thing1 => f1.curried(x).andThen(f2) }に拡張されている。は、{ x: Thing1 => f1.curried(x).andThen(f2) }に拡張されている。 f1.curried(x)はMultiplier => Thing2と入力すると評価されますので、はとなります。andThen(f2)と入力すると、Multiplier => Thing3となります。

val fcomposed1 = { x: Thing1 => f1.curried(x).andThen(f2) } // valid 
val fcomposed2 = { x: Thing1 => f1.curried(x) }.andThen(f2) // error