程序员经验分享-hwhale

OCaml 数据类型定义中的方括号“[”和“]”是什么意思？

2024-04-01

I saw 下列 https://coq.github.io/doc/v8.11/api/coq/Genarg/index.html#type-rlevel:

type rlevel = [
| `rlevel
]

但我以前从未见过这种情况，并且 ADT（代数数据类型）教程并不是非常有帮助，OCaml 语法也不是很有帮助。

这是什么意思？


方式rlevel是多态变体类型的类型缩写（https://ocaml.org/manual/polyvariant.html https://ocaml.org/manual/polyvariant.html) 只包含一个构造函数`rlevel .

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

ocaml

algebraicdatatypes

OCaml 数据类型定义中的方括号“[”和“]”是什么意思？ 的相关文章

  • 什么时候应该在 OCaml 中使用对象？

    通常 OCaml 程序可以使用或不使用对象来编写 什么时候使用物品最有利 什么时候应该避免使用物品 作为一般经验法则 不要使用对象 它们带来的额外复杂性通常并不值得 我认为这也是适用于其他语言的规则 但那是另一回事了 至少对于 OCaml

  • 滥用代数数据类型的代数 - 为什么这有效？

    对于具有数学背景的人来说 代数数据类型的 代数 表达式看起来非常具有启发性 让我尝试解释一下我的意思 定义了基本类型 Product Union 辛格尔顿X Unit 1 并使用简写X for X X and 2X for X X等等 然后

  • OCaml 中的这种模式匹配并不详尽

    我是 OCaml 新手 我编写了一些代码来获取列表的 n 元素 let rec n elem l n match n with 0 gt match l with h gt h gt failwith erorr with empty li

  • OCaml 中的函子

    我在函子 及其结果类型 方面遇到了一些问题 下面 我有一个Set使用一个函子Ordered类型 我实际上使用了set mlOCaml 附带提供一些指导 但我似乎正在做所有事情ahem正确的 我创建了一个Ordered模块与整数并将其应用到S

  • OCaml 中的多态性 - 特别、参数、包含/子类型

    我在理解不同类型的多态性时遇到问题 特别是关于 OCaml 的多态性 我知道多态性允许 OCaml 中表示为 a 的多种类型 但我不明白不同类型的多态性是什么 如果有人能用相对低级的语言给我解释那就太棒了 临时 参数 包含 子类型 这是一个

  • 在 OCaml 中将哈希表转换为对（键，值）列表

    OCaml 中有没有办法将哈希表转换为 键 对 值列表 我知道 给定一个哈希表ht我们可以做的 BatList of enum BatHashtbl enum ht 使用电池库 这会将表转换为枚举 然后将枚举转换为列表 但我正在寻找一种不使

  • 去掉cpp生成的注释

    I use include frontend tokens mll in lexer mll 进而cpp C P frontend lexer mll o frontend lexer new mll生成lexer new mll 这一直有

  • C++ 相当于代数数据类型？

    假设我有这个 Haskell 代码 data RigidBody RigidBody Vector3 Vector3 Float Shape position velocity mass and shape data Shape Ball

  • 如何为 OCaml 配置 _oasis 以设置“配置文件”标志

    我在 OCaml 中有一个现有项目和一个 oasis文件 我不知道在哪里启用分析标志ocamlbuild 我查了Oasis手册和代码 发现有一个变量profile在 setup data 中可用 我认为这是 Oasis 自动生成的 我应该在

  • OCaml 是否复制了自定义块？

    想象一下 我有一个名为 libcat 的 C 库 用于与我的毛茸茸的猫进行交互 因此 我正在为 OCaml 编写绑定来简化与 fluffy 的交互 module type CAT sig type cat val find gt cat v

  • 具有 ADT 和 Aux 模式的类型安全

    我正在使用 ADT 和 Aux 模式设计类型安全代码 并且无法摆脱一些asInstanceOf 这是示例 sealed trait Source case object FileSystem extends Source case obje

  • 数据中的是什么？

    我使用OCaml版本4 02 3 我定义了一个类型self type self Self of self type self Self of self 及其实例s let rec s Self s val s self Self

  • Maybe 应该用来保存错误消息吗？

    我有一个 Haskell 函数 它接受用户输入 还有另一个函数验证此输入 当然 验证可能会失败 在这种情况下 我想返回一条错误消息 提供有关错误操作的一些反馈 我知道有很多方法可以做到这一点 根据我的一点经验 似乎最好的方法是使用Eithe

  • GODI-电池：安装问题

    我正在尝试使用 GODI 控制台安装 godi batteries 我似乎已经对所有依赖项进行了排序 例如甘菊 我在 Godi 的界面中收到以下错误 gt ocamlfind ocamlopt shared linkall package

  • Ocaml，用列表中的给定元素替换所有指定元素

    我正在编写一个 ocaml 项目 其中我有一个函数可以替换所有 在字符列表中 E 这是我的建议代码 let rec string lst change E lst match lst with gt let a E a h t if h g

  • 在哪里可以找到 OCaml Option 模块？

    我的意思是这个模块 Option http ocaml lib sourceforge net doc Option html 我找不到它 open Option给我Error Unbound module Option并且没有 optio

  • 将 OCaml 转换为 F#：将 OCaml open_box 和 close_box 转换为 F#

    我正在将几个基于 OCaml 的模块转换为 F 并遇到了 OCaml 打印格式化函数open box 和 close box http caml inria fr pub docs manual ocaml libref Format ht

  • 使用 OCaml 警告属性禁用警告 8：不详尽的匹配

    我正在尝试编写类似于以下内容的代码 let a b body 1 2 我想仅针对该模式禁用警告 8 a b 而不是为了身体或让之外的任何东西 我尝试设置警告属性来禁用警告 但以下方法都不起作用 let warning 8 a warning

  • 为什么 OCaml 不允许函数匹配？ [关闭]

    就目前情况而言 这个问题不太适合我们的问答形式 我们希望答案得到事实 参考资料或专业知识的支持 但这个问题可能会引发辩论 争论 民意调查或扩展讨论 如果您觉得这个问题可以改进并可能重新开放 访问帮助中心 help reopen questi

  • 有人可以解释一下这个 OCaml 程序中使用的类型语法吗？

    以下类型取自这个问题 https stackoverflow com q 50586942 633183 contains an error later fixed by the OP type task Success a gt a ta

随机推荐

  • 如何禁用或隐藏 Ionic 2 中的滚动条

    我有一个包含在 Ionic 2 中的 Angular 2 应用程序 我正在使用

  • 引用参数返回未知大小的数组。如何处理？

    COM 组件公开一个 API 该 API 需要对象类型的 ref 参数 根据此 API 的文档 它将用值数组填充 ref 对象 现在我的问题是在产品环境中 我无法预测我将返回的元素数量 以下代码将起作用 COMClass objCOM ne

  • 在派生对象上移动构造函数

    当派生对象具有移动构造函数 并且基础对象也具有移动语义时 从派生对象移动构造函数调用基础对象移动构造函数的正确方法是什么 我首先尝试了最明显的事情 Derived Derived rval Base rval 然而 这似乎最终调用了 Bas

  • python 中的线程锁未按预期工作

    我试图保护线程内的数据免受主线程的影响 我有以下代码 lock threading Lock def createstuff data t threading Thread target func args data t start def

  • 为什么 Collections.binarySearch 给出错误的结果？

    我创建了一个列表 其中保存了一些字符串 但是当我在做的时候二分查找在此列表中 它正在返回负值而该项目是在列表中 到目前为止我的知识正值当物品被退回时在列表中 但对于某些项目 它返回负值 而对于某些项目 它返回正值 Code Test pub

  • 结构体上溢出的整数加法[重复]

    这个问题在这里已经有答案了 有的是ULARGE INTEGER 联合 https msdn microsoft com en us library windows desktop aa383742 v vs 85 aspx对于不支持 64

  • 使用 AJAX 时页面不断刷新

    我正在创建一个包含表单的模式框 使用 ajax 和 php 提交后 表单将返回输入 然后模式框应该消失 问题是 结果在框消失和页面刷新之前显示了几秒钟

  • flutter中如何在某个时间执行一个方法？

    如何在固定时间执行一个方法 比如我想在下午 2 30 运行一个方法 我了解计时器功能 但是运行计时器功能这么长时间是个好主意吗 同样 该方法在一天内会被调用多次 Edited 我努力了android alarm manager https

  • R data.table 加速 SI/公制转换

    情况是这样的 我有一个 8500 万行 18 列的表 其中三列的值采用公制前缀 SI 表示法 请参阅公制前缀 http en wikipedia org wiki Metric prefix维基百科上 这意味着我有这样的号码 1M 而不是

  • 访问 <#list> 中对象的属性

    Solution 我之前曾尝试向 LineItem 类添加访问器 例如 public String getItemNo return itemNo 并将 FTL 从 lineItem itemNo to lineItem getItemNo

  • PushStreamContent 流在负载下不会刷新

    我正在使用 PushStreamContent 来保持与每个客户端的持久连接 每 20 秒向每个客户端流推送短心跳消息对于 100 个客户端来说效果很好 但在大约 200 个客户端时 客户端首先开始延迟几秒钟接收 然后根本不显示 我的控制器

  • HighCharts图像导出

    我在我的应用程序中使用 HighChart 我想通过单击按钮导出图表图像http jsfiddle net hfrntt fXHB5 1896 http jsfiddle net hfrntt fXHB5 1896 但我想将图像保存在预定义

  • 无法从 Scrapy 脚本访问 request.response.meta['redirect_urls']

    我无法访问request response meta redirect urls 来自我的 Scrapy 脚本 但在 Scrapy shell 中访问同一网页的此信息没有问题 当我打印钥匙时request response meta我只看到

  • 如何使用 Firebase Cloud Messaging 自动增加 iOS 通知徽章？

    如何使用 Firebase Cloud Messaging 自动增加 iOS 通知徽章 是否可以做类似的事情 1 or 您可以在 通知负载 https firebase google com docs cloud messaging htt

  • Onclick 或 href 最适合在按钮中打开链接

    这是最好的方法 使用按钮打开链接

  • 使用 webdriver python 的触摸事件示例？

    我见过大约100个Java Webdriver 的触摸事件示例 http android developers blogspot com 2011 10 introducing android webdriver html在线 但没有一个P

  • 删除 pandas 数据框中的所有特殊字符

    我无法从 pandas 数据框中删除所有特殊字符 你能帮我吗 我尝试过这样的事情 df df replace r W regex True 因为我在最近的一篇文章中发现了它 但是当我执行时 特殊字符 不会消失 我知道在 PostgresQL

  • Firebase 删除不应该的值

    我正在使用 firebase 编写 Android 应用程序 我有一个部分 用户发送取件请求 该请求显示在司机的请求片段中 为了处理接受 拒绝 我已经设置了它 因此当您单击 接受 时 它会创建另一个包含已接受请求的 Firebase 子项

  • express - Angular2错误：ENOENT：刷新时没有这样的文件或目录

    我有一个公共文件夹 其中放置了 angular2 应用程序 现在我正在尝试设置一个带有始终返回index html 的包罗万象的路由的快速服务器 需要明确的是 根据这个问题 https stackoverflow com questions

  • OCaml 数据类型定义中的方括号“[”和“]”是什么意思？

    I saw 下列 https coq github io doc v8 11 api coq Genarg index html type rlevel type rlevel rlevel 但我以前从未见过这种情况 并且 ADT 代数数据

热门标签