如何使用 F# 语法将 Type 作为属性参数传递?

2023-12-22

FsCheck 允许自定义Arbitrary在其 NUnit 集成中:

[<Property(Verbose = true, Arbitrary= [typeof<Test.Arithmetic.MyArb>])>]
static member  MultiplyIdentity (x: int64) = x * 1 = x

这个语法不起作用。我觉得有点不好意思问,但显然我以前从未需要过这个:如何将 F# 中的类型指定为属性参数?微软对此什么也没说 https://learn.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/attributes,也不维基教科书项目 https://en.wikibooks.org/wiki/F_Sharp_Programming/Reflection我在谷歌上搜索这个词时遇到了一些麻烦(这个词type是无所不在的)。

注1:Arbitrary参数的类型是Type [].


我想你已经很接近了,但是[1;2;3]创建一个list<int>,你想要一个数组文字使用[| 1;2;3 |]:

[<Property(Verbose = true, Arbitrary= [| typeof<Test.Arithmetic.MyArb> |])>]
static member  MultiplyIdentity (x: int64) = x * 1 = x
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

如何使用 F# 语法将 Type 作为属性参数传递? 的相关文章

  • 将两个 Int 值相除以获得 Float 的正确方法是什么?

    我想分两份IntHaskell 中的值并获得结果Float 我尝试这样做 foo Int gt Int gt Float foo a b fromRational a b 但 GHC 版本 6 12 1 告诉我 无法将预期类型 Intege
  • 具有上限的联合类型

    我正在遵循这个问题的公认答案中提出的技术如何定义 类型析取 联合类型 https stackoverflow com questions 3508077 does scala have type disjunction union type
  • 将属性应用于返回值 - 在 F# 中

    在 C 中 可以将属性应用于方法的返回 return DynamicAttribute public object Xyz return new ExpandoObject 这在 F 中可能吗 背景 我想要一个用 F 编写的库的方法 该方法
  • 单位安全平方根

    我只是想知道如何以与 F 正确交互的方式编写用户定义的平方根函数 sqrt 单位制 http blogs msdn com andrewkennedy archive 2008 09 04 units of measure in f par
  • 二维数组的 MPI 数据类型

    我需要将一个整数数组的数组 基本上是一个二维数组 从根传递给所有处理器 我在 C 程序中使用 MPI 如何声明二维数组的 MPI 数据类型以及如何发送消息 我应该使用广播还是分散 你需要使用播送 http www netlib org ut
  • 在 Deedle 系列中算得上独一无二

    我想对我的数据框中的系列有一个概述 例如 pandas 的唯一值计数 我不知道是否有内置函数可以实现这一点 到目前为止 我已经完成了一个函数来获取不同特征的数量 我可以设法完成这项工作 我的问题只是关于内置功能 let unique s D
  • F# 检查列表是否为空

    作为 F 新手 我正在尝试实现一个简单的函数 该函数将索引和列表作为参数 然后返回给定索引的列表值 let rec getElementAtIndex index int list a list match index list with
  • 何时评估 F# 函数调用;懒惰地还是立即地?

    F 中的柯里化函数 我知道传入参数子集会产生一个带有预设的函数 我只是想知道传递所有参数是否有什么不同 例如 let addTwo x y x y let incr a addTwo 1 let added addTwo 2 2 incr是
  • 将事件绑定到 ItemsControl 中的按钮

    我有一个 Windows Phone 7 应用程序 其中包含一些 xaml 如下所示
  • 将 C# 数据类型参数传递给用 C++ 编写的 dll?

    仍在解决从这里开始的问题从 C 调用 C dll 函数 结构体 字符串和 wchar t 数组 https stackoverflow com questions 680066 calling c dll function from c o
  • 是否可以将 NUnit 与 VB.net Express Edition 集成?哪个是最好的方法?

    我是一名 Java 开发人员 正在为一个小项目学习 VB net 在使用 Java 进行编码时 我们不必过多考虑如何将 IDE 与单元测试框架集成 因为大多数 IDE 已经集成 但是现在我正在开发一个项目 主要要求是使用VB net Exp
  • 带表达式的 F# 类型定义

    是否可以这样表达 type id int gt 0 我知道它不可能静态执行 因为这意味着 F 具有依赖类型 在 C 中 我习惯于使用代码契约来执行此类操作并获得运行时强制执行 我正在这里寻找类似的东西 Thanks 编辑 感谢您提供的所有答
  • 如何考虑子类型的多态性

    里氏替换原则指出 超类型的不变量必须保留在子类型中 我对这个原理和多态性的交叉特别感兴趣 事实上 特别是子类型多态性 参数多态性和 Haskell 类型类似乎就是这种情况 因此 我知道当函数的参数是逆变且返回类型是协变时 函数是子类型 我们
  • VB.NET 中的类型比较

    如何比较 VB NET 中的类型数据类型 我的代码 Private Function Equal ByVal parameter As String ByVal paramenterName As String ByVal dataType
  • Agda 中的类型层次结构

    我试图弄清楚类型层次结构在 Agda 中是如何工作的 假设我定义了一个集合类型X X Set 然后继续构建归纳类型 data Y X gt Set where 是什么类型的X gt Set 是设置还是类型 谢谢你 那么 为什么不问问 Agd
  • 删除以动态更改的字符串开头的脚本类型属性

    在 WordPress 网站上 我想删除动态添加随机字符串的脚本 类型 属性 形式为 type xxx text javascript 其中 xxx 在页面加载时发生变化 Disable 火箭装载机 on 云耀光 yourdomain co
  • F# 中的选项类型如何工作

    因此 我一直在阅读 Apress 的 Expert F 书籍 主要将其用作构建玩具式 F 库时的参考 但有一点我未能掌握 那就是 Option 类型 它是如何工作的以及它在现实世界中的用途是什么 选项类型至少为similar to Null
  • F# 中的动态编程

    实现解决问题的动态规划算法的最优雅的方法是什么子问题重叠的问题 http en wikipedia org wiki Overlapping subproblem 在命令式编程中 人们通常会创建一个按问题大小索引的数组 至少在一维 然后算法
  • 为什么在从同一解决方案引用另一个项目时会出现 FileNotFound 异常?

    我正在学习如何使用 NUnit 我的解决方案中有我的主项目 并在同一解决方案中创建了一个单独的项目 该项目将保存我的单元测试 并具有自己的命名空间 从该项目中 我添加对主项目的引用并添加 using MainProjectNamespace
  • 为什么要使用 testFixture 而不是 TestClass?

    可以通过三种方式组织单元测试 按夹具 类或功能进行测试 但 TestClass 的 NUnit 属性称为 TestFixture 这其中有什么历史原因吗 我尊重 Mike Two 的回应 但我断言 NUnit 团队的做法是非常错误的 并且使

随机推荐