Làm thế nào để chuyên đối số tham số kiểu cho nhiều loại khác nhau cho trong Scala?

Question

Tôi cần kiểm tra lại (vui lòng).

Trong một bài viết (http://www.win-vector.com/blog/2010/06/automatic-differentiation-with-scala/) Tôi vừa viết tôi đã nói rằng đó là niềm tin của tôi trong Scala rằng bạn không thể chỉ định một hàm nhận một đối số mà chính nó là một hàm có tham số kiểu không ràng buộc. Tôi đã chỉnh sửa câu hỏi này để thử và đơn giản hóa ví dụ.

Các mã sau hoạt động bằng cách giới thiệu một đặc điểm GenericFn mà bắt chước các đặc điểm Scala Function1, ngoại trừ nó có một tham số tự do gõ vào chức năng:

object TypeExample { 
    trait NumberBase { 
     def result:String 
    } 

    class A extends NumberBase { 
     def result = "A" 
    } 

    class B extends NumberBase { 
     def result = "B" 
    } 

    trait GenericFn { 
     def apply[X<:NumberBase](x:X):String 
    } 

    def specializeAndApplyTwice(f:GenericFn):String = { 
     f[A](new A()) + f[B](new B()) 
    } 

    def main(args : Array[String]) : Unit = { 
     val f = new GenericFn { 
      def apply[X<:NumberBase](x:X):String = { x.result } 
     } 
     println(specializeAndApplyTwice(f)) 
    } 
} 

này hoạt động, nhưng có một cách để làm điều này mà không có đặc tính GenericFn (sử dụng ký pháp hàm chuẩn)? Ví dụ đoạn code dưới đây không thành công với các lỗi thời gian biên dịch: "loại không phù hợp; tìm thấy: TypeExample2.A yêu cầu: _ $ 1 nơi loại _ $ 1 <: TypeExample2.NumberBase":

def specializeAndApplyTwice(f:(_<:NumberBase)=>String):String = { 
    f(new A()) + f(new B()) 
} 

Answer 1

tái khẳng định động lực ban đầu cho câu hỏi: Chúng tôi muốn cung cấp một loại cho một giá trị 'g' bởi vì chúng tôi muốn chuyển nó qua. Giá trị Scala (tất nhiên) không thể có loại đa hình, ngay cả khi chúng là giá trị hàm. Vì vậy, làm thế nào để cung cấp cho một loại mà một số phần của nó là không rõ?

Vì vậy, tôi tin rằng một giải pháp là sử dụng ký tự đại diện (một hình thức trừu tượng hiện sinh):

    def g(f: Array[_ <: NumberBase[_]] => Double, z: Array[Double]): Double 

Các văn xuôi giải thích cho các loại g là: một chức năng từ Array [T] và Array [đúp] thành Double, trong đó T là một số loại mở rộng gấp đôi. "một số" là từ chỉ ra trừu tượng tồn tại, chúng tôi yêu cầu loại đó tồn tại mặc dù chúng tôi không quan tâm vào thời điểm này mà nó là một.