用于查找两个列表之间差异的库函数 - OCaml

2024-01-04

有没有库函数可以找List1 minus elements that appear in List2?我一直在谷歌上搜索并没有发现太多。

似乎没有too自己写的很简单。我编写了一个函数来从列表中删除特定元素,但这要简单得多:

let rec difference l arg = match l with
| [] -> []
| x :: xs -> 
    if (x = arg) then difference xs arg
    else x :: difference xs arg;;

这行吗?

let diff l1 l2 = List.filter (fun x -> not (List.mem x l2)) l1
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

用于查找两个列表之间差异的库函数 - OCaml 的相关文章

  • F# 与 OCaml:堆栈溢出

    我最近发现了一个关于适合 Python 程序员的 F http combiol org fs FSUG FS4PPv2 pptx 看完之后 我决定自己实现一个 蚂蚁谜题 的解决方案 有一只蚂蚁可以在平面网格上走动 蚂蚁一次可以向左 向右 向
  • 在 OCaml 中读取 URL 的 HTML 内容

    我想编写一个 OCaml 函数 它接受一个 URL 并返回一个由该位置的 HTML 文件内容组成的字符串 有任何想法吗 多谢 最好的 苏里卡托 我已经使用 ocurl 和 nethtml 完成了这两件事 ocurl http sourcef
  • 正确编译子文件夹中的模块(ocamlbuild)

    我最近决定整理我的项目目录中的文件 我将几种不同文件类型的解析器移至它们自己的目录中 并决定使用 ocamlbuild 因为项目变得越来越复杂 简单的 shell 脚本不再足够 我能够通过使用一些基本规则修改 myocamlbuild 来成
  • 未绑定图形模块

    Running open Graphics OCaml 中返回一个错误 表示它是一个未绑定的模块 在终端 ocaml 中运行它会返回相同的结果 这是否意味着我的图形模块未随 OCaml 软件包一起安装 如果是这样 我该如何安装该模块 在费多
  • 让menhir将用户定义的函数从.mly添加到.mli

    Menhir 允许将任意 ocaml 代码添加到 mly 文件的末尾 我想在其中声明一些函数 但我找不到一种方法让 menhir 将我的函数添加到 mli 文件中 以便它们从其他模块中可见 是否可以 答案很简单 那就是no 中定义的代码 m
  • 如何让 ocaml 相信两个函子实例化是相等的

    假设我有许多模块 它们都使用一种模块类型进行参数化 并且彼此之间也具有依赖关系 module type AT sig end module B A AT struct module Hash struct type t int let eq
  • 尝试使用转义字符时 OCaml 正则表达式有问题

    我正在尝试使用 OCaml 为 C 的变体编写一个词法分析器 对于词法分析器 我需要匹配字符串 和 分别作为幂和或符号 这两个都是正则表达式中的特殊字符 当我尝试使用反斜杠转义它们时 没有任何变化 代码运行时就好像 仍然是行首而 仍然是 或
  • OCaml:从列表中删除重复项,同时保持右侧的顺序

    我刚刚读过这个线程 https groups google com d msg racket users BuUzcJtd3Ig zqYIjVyJdjoJ并觉得很有趣 我实施remove from the left几分钟后即可运行 remo
  • 使用 Opam 管理项目依赖关系

    我是 OCaml 的新手 我使用过的其他语言 例如 Scala Clojure Node js 上的 Javascript 都有包管理器 允许人们以干净的状态启动项目 该项目具有一组已声明的已知版本的依赖项 我正在尝试与 Opam 做类似的
  • llvm OCaml 绑定

    我正在研究 llvm OCaml 绑定 我通过 opam 安装了 llvm 包 opam install llvm 当我在 utop 中使用 llvm 时 出现以下错误 require llvm Error The external fun
  • GODI-电池:安装问题

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

    我正在尝试实现类似的目标eval 在 OCaml 中 我有一个string我想从中得到一个 OCaml 函数 目前我正在做以下事情 我将字符串转储到new ml并编译文件 Compile implementation Format std
  • OCaml 中 let rec 的限制

    这几天我在学习OCaml 发现了这个 OCaml 对于可以放在 let 记录右侧的内容有限制 像这个 let memo rec f norec let rec f memoize fun x gt f norec f x in f Erro
  • OCaml:用消息断言

    又是另一个问题 P 我不太确定是否应该将其发布在这里或 OCaml 邮件列表上 但我首先尝试这样做 我喜欢断言语句 然而 我发现如果没有附加消息 错误消息几乎毫无用处 第 XXX 行的断言冲突 很好 但实际上出了什么问题 我认为断言的一个很
  • 错误:无法安全地评估递归定义模块的定义

    我很想了解为什么会发生此错误以及解决该错误的最佳方法是什么 我有几个文件types ml and types mli它定义了一个变体类型value可以是许多不同的内置 OCaml 类型 float int list map set 等 由于
  • 值的 Ocaml 表示 - 原子

    我查看了一些 OCaml 值的内部表示 空数组的表示是atom 0 即一个块tag 0 and size 0 空浮点数数组由atom 0 too 是否存在由原子表示的任何 OCaml 值tag gt 0 如果不是 OCaml 字节码集包含以
  • OCaml 中的用户定义打印机

    printf fprintf等 全部接受 a转换 手册上说对于 a 用户定义的打印机 采用两个参数 并将第一个参数应用于 outchan 当前输出通道 和第二个参数 因此 第一个参数的类型必须为 out channel gt b gt un
  • Ocaml 模块和包的区别

    我基本上是在尝试遵循这篇文章中的 stackoverflow 答案 OCaml 中 HttpRequest 的最佳模块是什么 https stackoverflow com questions 14134116 what is the be
  • 将“列表”转换为“集合”?

    OCaml 真的没有从列表转换为集合的函数吗 如果是这样的话 是否可以制作一个通用函数list to set 我尝试制作一个多态集 但没有成功 基本问题 列表可以包含任何类型的元素 集合 假设你的意思是Set http caml inria
  • OCaml - 什么数据类型是 some 和 none?

    如果我正在使用Some and None列表中的组合 列表的数据类型是什么 是不是总是 a 或者有某种类型Some None let listVar type here list Some 4 Some 3 None Some 2 如果我把

随机推荐

  • json_decode 问题 - 语法错误,格式错误的 JSON

    我从 php 收到一个 json 数组 作为 PHP 中curl exec 的返回 第一个 json PHP gt python 返回另一个 json 并且由于语法错误而解码失败 一段API代码 if GET url tomorrowdat
  • Dagger2 未生成 Dagger* 类

    正如标题所示 Dagger2 没有为我的 Android 项目生成 Dagger 前缀类 我查看了我能找到的所有其他类似帖子 但没有任何帮助 我正在尝试将其添加到现有项目中 并且在使其与数据绑定良好配合时遇到了一些初始问题 但我似乎已经解决
  • 用于社交网络的 Django [关闭]

    Closed 这个问题是基于意见的 help closed questions 目前不接受答案 我知道这是一个相对广泛的问题 但是 Django 是否足够强大来构建社交网络 我主要关心性能 速度 例如 对于一个用户群较小 它有哪些潜在的弱点
  • 旋转 div 元素

    是否可以使用 Javascript 而不是使用 HTML 5 来旋转 div 元素 如果是这样 我应该设置 更改元素的哪些属性以使其旋转 即 div 什么 PS 当我说旋转时 我的意思是绕轴旋转图像 而不是每 x 毫秒显示不同的图像旋转 老
  • 错误:无法解决:运行时

    所以我的项目昨天工作正常 今天我尝试打开它 但它给了我这个错误 非常感谢帮助 我尝试搜索很长时间来了解问题所在 但似乎所有答案都不适合我 错误 无法解决 运行时 打开文件 这是 build gradle Project 文件 Top lev
  • 获取新事件的默认日历时出错 - Swift

    我在使用 Swift 时尝试在 iOS 的日历应用程序上创建新事件时遇到问题 这是我到目前为止所拥有的 func addToCal let eventStore EKEventStore eventStore requestAccessTo
  • 如何解决 Ionic Vue 方法中嵌套范围内定义“this”时的 ESLint 错误

    我有一个 Ionic Vue 应用程序 它使用slides组件在每次转换时修改响应属性 相关代码是这样的
  • pyomo 生成具有大量约束的模型的性能

    我对 Pyomo 生成具有大量约束和变量 大约 10e6 的 OR 模型的性能感兴趣 我目前正在使用 GAMS 来启动优化 但我想使用不同的 python 功能 因此使用 Pyomo 来生成模型 我做了一些测试 显然当我编写模型时 每次实例
  • 使用 JDBC 将 null 插入到整数列

    我有一个 sql 列PROTOCOL 它可以为空并且对表有约束 PROTOCOL IN 1 2 3 另外 由于它可以为空 我想将空值设置并获取到表中 但我做不到setInt and getInt为空 如何使用 JDBC 将列的 null 设
  • FullCalendar - 更改事件(约会、日记条目)高度

    我正在尝试更改 FullCalendar 中事件 约会 的高度 我遵循了这个答案中的建议如何在 FullCalendar 中编辑事件的宽度 https stackoverflow com questions 3389552 how to e
  • 如何查看 Javascript 对象的原型链?

    给出以下代码 function a function b b prototype new a var b1 new b 我们可以保持这样a已添加到b的原型链 伟大的 并且 以下所有内容均属实 b1 instanceof b b1 insta
  • 当我用 @login_required 装饰视图时,如何匹配 ?next=/nextpage/ 值?

    当我使用 login required 装饰 django 中的视图时 如何匹配 next nextpage 值 它不以 标准方式 工作 在 url py 中通过正则表达式匹配 为什么它不按标准方式工作 在 urls py 中 r logi
  • 提高稀疏矩阵的能力

    我有一个 10001 行 10001 列 有很多 0 的稀疏矩阵 我正在尝试提高这个稀疏矩阵的功效 i e A 1 1 1 0 AS sparse csr matrix A AS def matrixMul AS n if n lt 1 r
  • ARKit可以显示WKWebview吗?

    尝试用 ARKit 来显示 WKWebView 但我得到的只是一个显示背景但没有前景的页面 不过页面可以滚动 我附上了苹果网页的截图 这是代码 DispatchQueue main async let webView WKWebView f
  • Python 中的 2D 网格数据可视化

    我需要可视化一些数据 它是基本的二维网格 其中每个单元格都有浮点值 我知道如何在 OpenCV 中为值分配颜色并绘制网格 但这里的要点是 值太多了 所以几乎不可能做到这一点 我正在寻找一些可以使用渐变的方法 例如 值 5 0 将表示为蓝色
  • React-bootstrap-table 标题列未对齐

    我有以下内容 Node jsx import React from react import Col Row Tab Tabs from react bootstrap import Alerts from Alerts import De
  • 如何在反应中将State设置为新数据?

    我刚刚开始研究 ReactJS 并尝试从 API 检索数据 constructor super this state data false this nextProps axios get https jsonplaceholder typ
  • GUID 与 INT IDENTITY [重复]

    这个问题在这里已经有答案了 可能的重复 您觉得您的主键怎么样 https stackoverflow com questions 404040 how do you like your primary keys 我知道使用 GUID 的好处
  • 在 CSS3 变量定义中使用 SCSS 变量不起作用?

    我正在研究如何将样式应用于客户端项目中的可重用 Angular 组件 看主题 样式 Angular 2 可重用组件库 https stackoverflow com questions 44571437 theme style angula
  • 用于查找两个列表之间差异的库函数 - OCaml

    有没有库函数可以找List1 minus elements that appear in List2 我一直在谷歌上搜索并没有发现太多 似乎没有too自己写的很简单 我编写了一个函数来从列表中删除特定元素 但这要简单得多 let rec d