q# 中 type 'd 的含义是什么

What's the meaning of type 'd in q#

如上图所示。 type 'd 是什么意思? “Zipped”的 return 值应该是什么类型?

当 Q# 编译器无法推断所涉及的任何值的类型时,'d'c 等类型会出现在错误消息中。在这种情况下,Zipped 的 return 是一个元组数组,与操作的 return 类型之间存在类型不匹配,从屏幕截图看起来像 Double[][], double的数组数组.

编辑:在这种特殊情况下,编译器知道 Zipped 生成的 return 类型,因此它应该使用它而不是泛型。在 Q# 编译器存储库中为此打开了一个 issue - 感谢您提出这个问题!