做这样的演员的好方法和工作方式是什么?
seq { yield (box "key", box "val") }
|> Seq.cast<string*string>
Run Code Online (Sandbox Code Playgroud)
因为这看起来非常难看:
seq { yield (box "key", box "val") }
|> Seq.map (fun (k,v) -> k.ToString(), v.ToString())
Run Code Online (Sandbox Code Playgroud)
除此之外:
seq { yield (box "key", box "val") }
|> Seq.map (fun (k,v) -> unbox<string>(k), unbox<string>(v))
Run Code Online (Sandbox Code Playgroud)
有没有办法将元组"拆箱"成另一个元组?