下面是一个代码示例,用于按名称从记录类型中提取特定值: projectCF // signaturey.Val2) // Val2 is another one of the values in my record type上面的工作原理很好,但是会导致大量的重复(因为我必须对我希望提取的5个值中的每一个进行重复
使用Seq.cast似乎总是失败,即使是像下面这样简单的事情:xor [1;3] // Works, assuming because no cast is necessaryxor [2u] // Fails我试图使用Seq.cast将一大堆东西转换为uint16,但由于某种原因,它总是失败(即使我用Seq.cast<uint32>