爲什麼scala沒有內置的PartialFunctionN？

Question

斯卡拉有一個內置FunctionN性狀高達Function22。有相應的PartialFunctionN似乎很自然。那爲什麼scala沒有它？有沒有一個固有的原因，爲什麼它不包含在scala中？

很容易，我自己實現了接近PartialFunctionN的東西。我們當然可以定義很明顯：

type PartialFunction2[-T1,-T2,+R] = PartialFunction[Tuple2[T1,T2],R] 

，但返回的類型實際上是：

scala> val f: PartialFunction2[Int,Int,Int] = {case (2,3) => 8; case (3,2) => 9} 
f: PartialFunction2[Int,Int,Int] = <function1> 

scala> f(2,3) 
res0: Int = 8 

scala> f(2,7) 
scala.MatchError: (2,7) (of class scala.Tuple2$mcII$sp) ... 

這是令人困惑，因爲它看起來像一個<function2>而不是<function1>。

另一種方法是定義PartialFunctionN遞歸：

type PartialFunction2[-T1,-T2,+R] = PartialFunction[T1,PartialFunction[T2,R]] 

但使用率不會像漂亮，乾淨像以前的例子中，我們仍然可以得到<function1>：

scala> val g: PartialFunction2[String,String,String] = { 
case "x" => {case "y" => "male"; case "x" => "female"} 
} 
g: PartialFunction2[String,String,String] = <function1> 

scala> g("x")("y") 
res0: String = male 

scala> g("x")("x") 
res1: String = female 

scala> g("y")("x") 
scala.MatchError: y (of class java.lang.String) ... 

所以，基本上，我很有興趣知道是否有一個很好的理由，爲什麼斯卡拉沒有PartialFunctionN內置，作爲獎金，我也想知道是否有辦法模仿預期的功能，並獲取而不是<function1>作爲返回類型。

Answer 1

，並獲得代替<function1>作爲返回類型

在

f: PartialFunction2[Int,Int,Int] = <function1> 

類型爲PartialFunction2[Int,Int,Int]，就像你想要的。 <function1>是調用toString以顯示REPL中的函數的結果。請注意，給定您的定義PartialFunction2[Int,Int,Int]是PartialFunction，因此Function1，而不是Function2。你可以定義

trait PartialFunction2[-T1,-T2,+R] extends Function2[T1,T2,R] { 
    def isDefinedAt(x: T1, y: T2): Boolean 
} 

，但你不會得到任何好的語法（你可以從PartialFunction[Tuple2[T1,T2],R]添加一個隱含的converstion到PartialFunction2[T1,T2,R]雖然）。

我是intrested知道如果有一個很好的理由，爲什麼斯卡拉沒有內置PartialFunctionN在

如果您在標準庫中有PartialFunction2，它是由您所需的創建語法，那麼你必須有一個元組的PartialFunction一些不同的語法。已經夠複雜了。