Scala, Currying trên phương pháp đa tham số nhóm bao gồm các tham số ngầm định?

Question

Sau khi phát hiện ra rằng currying multi parameter-groups method is possible, tôi đang cố gắng để có được một hàm được áp dụng một phần đòi hỏi các tham số ngầm định.

Đường nối không thể thực hiện được. Nếu không bạn có thể giải thích cho tôi tại sao?

scala> def sum(a: Int)(implicit b: Int): Int = { a+b } 
sum: (a: Int)(implicit b: Int)Int 

scala> sum(3)(4) 
res12: Int = 7 

scala> val partFunc2 = sum _ 
<console>:8: error: could not find implicit value for parameter b: Int 
     val partFunc2 = sum _ 
        ^

Tôi sử dụng một đối tượng đơn lẻ để tạo chức năng được áp dụng một phần này và tôi muốn sử dụng nó trong phạm vi int được xác định.

Answer 1

Đó là vì bạn không có phạm vi Int ngầm định. Xem:

scala> def foo(x: Int)(implicit y: Int) = x + y 
foo: (x: Int)(implicit y: Int)Int 

scala> foo _ 
<console>:9: error: could not find implicit value for parameter y: Int 
       foo _ 
      ^

scala> implicit val b = 2 
b: Int = 2 

scala> foo _ 
res1: Int => Int = <function1> 

Hàm ẩn được thay thế bằng giá trị thực của trình biên dịch. Nếu bạn curry phương thức kết quả là một hàm và các hàm không thể có các tham số ngầm, do đó trình biên dịch phải chèn giá trị vào lúc bạn curry phương thức.

chỉnh sửa:

Đối với trường hợp sử dụng của bạn, tại sao bạn không thử một cái gì đó như:

object Foo { 
    def partialSum(implicit x: Int) = sum(3)(x) 
} 

Answer 2

scala> object MySingleton { 
| def sum(a: Int)(implicit b: Int): Int = { a+b } 
| 
| 
| def caller(a: Int) = { 
|  implicit val b = 3; // This allows you to define the partial below 
|  def pf = sum _  // and call sum()() without repeating the arg list. 
|  pf.apply(a) 
| } 
| } 
defined module MySingleton 


scala> MySingleton.caller(10) 
res10: Int = 13