Tại sao có hai bộ đối số/dấu ngoặc đơn trong định nghĩa phương thức Scala này?

Question

Tôi mới sử dụng Scala và đang thực hiện một số bài đọc về ScalaSTM.

tôi sẽ đánh giá cao nếu ai đó chỉ đơn giản là có thể đặt tên cho khái niệm dưới đây, trong đó có những 2 bộ khung được truyền cho phương pháp công trình .:

def transfer(amount: Int, a: Ref[Int], b: Ref[Int])(c: Transaction) { 
    a.:=(a.get(c) - amount)(c) 
    b.:=(b.get(c) + amount)(c) 
} 

khái niệm gì đang được sử dụng trong vòng c: Transaction?

Tôi sẽ đọc thêm sau khi tôi biết những gì tôi đang tìm kiếm!

Cảm ơn

Answer 1

Đây được đặt tên Currying. Chức năng được thu thập là khi có loại A => B => C.

Chức năng def foo(a: A, b: B): C có loại (A, B) => C. Mặt khác, chức năng def curriedFoo(a: A)(b: B): C có loại A => B => C. Với chức năng curried bạn có thể làm def curriedFooWithA = curriedFoo(a) có loại B => C. Bạn không phải cung cấp tất cả các đối số trong một lần.

Vì vậy, trong trường hợp của bạn, bạn có thể cung cấp amount, a và b. Bạn sẽ nhận được một hàm lấy Transaction. Một trường hợp khác sẽ là một chức năng của loại Request => DataBase => Int, nơi bạn chỉ cần cung cấp Request và cuối cùng là khi bạn thực sự cần chạy yêu cầu, hãy cung cấp số DataBase mà yêu cầu phải được gửi đi.

Loại (A, B) => C và A => B => C là đẳng cấu. Scala cung cấp tupled và uncurried để thực hiện điều đó.

def curriedFoo(a: A)(b: B): C = a => b => foo(a, b)

def foo(a: A, b: B): C => (a, b) => curriedFoo(a, b)