PROSAGA码农传奇-智能感知系统-如何使用静态解析的类型参数解析递归映射中的奇怪类型错误？（第2页）

如何使用静态解析的类型参数解析递归映射中的奇怪类型错误？（第2页）

作者: 咿呀哟
发布时间: 2024-12-09 11:23:21 (1月前)
转自：

<div class =“post-text”itemprop =“text”>
  
    我不确定我是否理解你的问题/你想要实现的目标。
  
  
    我不知道为什么你在这个类型的中间插入了这个函数，在你之前的问题中它是必要的但是在这里我不这么认为。
  
  
    如果你按自然顺序编写它，它编译：
  
   <pre>
 <code>
 type CudaScalar<'t> = CudaScalar of name: string with
 member t.Name = t |> fun (CudaScalar name) -> name

type TypePrinter<'t>() = class end

let inline print_type x =
 ((^T or ^in_) : (static member PrintType: TypePrinter< ^in_> -> string) x)

type TypePrinter with
 static member inline PrintType(_: TypePrinter<float32>) = "float32"
 static member inline PrintType(_: TypePrinter<int>) = "int"

type ArgsPrinter = ArgsPrinter with
 static member inline PrintArg(_: ArgsPrinter, t: CudaScalar< ^t>) = 
 [|print_type (TypePrinter< ^t>()); t.Name|] |> String.concat " "

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

</code>
 </pre>
  
    如果我错过了什么，请告诉我。
  
  
    的
      编辑
    </强>
  
  
    尝试添加更多重载后，尝试添加如下：
  
   <pre>
 <code>
 type ArgsPrinter with
 static member inline PrintArg(_: ArgsPrinter, (x1, x2)) = 
 [|print_arg x1;print_arg x2|] |> String.concat ", "
type ArgsPrinter with
 static member inline PrintArg(_: ArgsPrinter, (x1, x2, x3)) = 
 [|print_arg x1;print_arg x2;print_arg x3|] |> String.concat ", "

</code>
 </pre>
  
    我的意思是，'延伸'两次。
  
</DIV>

如何使用静态解析的类型参数解析递归映射中的奇怪类型错误？ （第2页）

如何使用静态解析的类型参数解析递归映射中的奇怪类型错误？（第2页）