Làm cách nào để giải quyết lỗi kiểu lạ trong bản đồ đệ quy với các tham số kiểu được giải quyết tĩnh?

Question

type CudaInnerExpr<'t> = CudaInnerExpr of expr: string with 
    member t.Expr = t |> fun (CudaInnerExpr expr) -> expr 

type CudaScalar<'t> = CudaScalar of name: string with 
    member t.Name = t |> fun (CudaScalar name) -> name 

type CudaAr1D<'t> = CudaAr1D of CudaScalar<int> * name: string with 
    member t.Name = t |> fun (CudaAr1D (_, name)) -> name 

type CudaAr2D<'t> = CudaAr2D of CudaScalar<int> * CudaScalar<int> * name: string with 
    member t.Name = t |> fun (CudaAr2D (_, _, name)) -> name 

type ArgsPrinter = ArgsPrinter with 
    static member inline PrintArg(_: ArgsPrinter, t: CudaScalar<float32>) = sprintf "float %s" t.Name 
    static member inline PrintArg(_: ArgsPrinter, t: CudaScalar<int>) = sprintf "int %s" t.Name 
    static member inline PrintArg(_: ArgsPrinter, t: CudaAr1D<float32>) = sprintf "float *%s" t.Name 
    static member inline PrintArg(_: ArgsPrinter, t: CudaAr1D<int>) = sprintf "int *%s" t.Name 
    static member inline PrintArg(_: ArgsPrinter, t: CudaAr2D<float32>) = sprintf "float *%s" t.Name 
    static member inline PrintArg(_: ArgsPrinter, t: CudaAr2D<int>) = sprintf "int *%s" t.Name 

    static member inline PrintArg(_: ArgsPrinter, (x1, x2)) = 
     let inline print_arg x = 
      let inline call (tok : ^T) = ((^T or ^in_) : (static member PrintArg: ArgsPrinter * ^in_ -> string) tok, x) 
      call ArgsPrinter 
     [|print_arg x1;print_arg x2|] |> String.concat ", " 
    static member inline PrintArg(_: ArgsPrinter, (x1, x2, x3)) = 
     let inline print_arg x = 
      let inline call (tok : ^T) = ((^T or ^in_) : (static member PrintArg: ArgsPrinter * ^in_ -> string) tok, x) 
      call ArgsPrinter 
     [|print_arg x1;print_arg x2;print_arg x3|] |> String.concat ", " 

Trong dòng static member inline PrintArg(_: ArgsPrinter, (x1, x2, x3)) =, khái niệm (x1, x2, x3) mang lại cho tôi những lỗi sau:

Script1.fsx(26,52): error FS0001: This expression was expected to have type 
    'in_  
but here has type 
    'a * 'b * 'c 

Bất kỳ ý tưởng phải làm gì đây để làm công việc này?

Answer 1

Có vẻ với tôi rằng bạn muốn làm một cái gì đó như thế này:

... 

    static member inline PrintArg(_: ArgsPrinter, t: CudaAr2D<float32>) = sprintf "float *%s" t.Name 
    static member inline PrintArg(_: ArgsPrinter, t: CudaAr2D<int>) = sprintf "int *%s" t.Name 

let inline print_arg x = 
    let inline call (tok : ^T) = ((^T or ^in_) : (static member PrintArg: ArgsPrinter * ^in_ -> string) tok, x) 
    call ArgsPrinter  

type ArgsPrinter with 
    static member inline PrintArg(_: ArgsPrinter, (x1, x2)) = [|print_arg x1;print_arg x2|] |> String.concat ", " 
    static member inline PrintArg(_: ArgsPrinter, (x1, x2, x3)) = [|print_arg x1;print_arg x2;print_arg x3|] |> String.concat ", " 

Bạn định nghĩa một hàm tổng quát ở giữa loại bởi vì bạn sẽ sử dụng nó cho hai định nghĩa chồng cuối cùng, mà sẽ trở thành loại của 'quá tải đệ quy'.

Lưu ý rằng kỹ thuật này được sử dụng hiện tại trong FSharpPlus, thực sự là đơn giản hóa kỹ thuật. Cuối cùng lưu ý rằng giải pháp của bạn có vẻ đúng với tôi (mặc dù tiết hơn) nhưng vì lý do nào đó trình biên dịch F # bị nhầm lẫn, tôi không thể giải thích cho bạn tại sao nhưng gặp nhiều tình huống như thế này và tất cả những gì tôi có thể làm là tìm thấy một repro tối thiểu, một workaround và báo cáo cho F # guys. Vẫn còn rất nhiều thứ cần giải quyết trong Constraint Solver.