ocaml 问答列表

有没有办法获得对可变结构体字段的“引用”

作者:Kris 提问时间:4/24/2022

所以我有一个带有可变字段的记录类型: type mpoint = { mutable x:int ; mutable y: int };; let apoint = { x=3 ; y=4};; ...

使用 scanf 拆分非空格分隔符上的字符串

作者:marcel fiedler 提问时间:7/2/2022

我的目标是扫描一个包含冒号作为除法的字符串,并将其两个部分保存在一个元组中。 例如: input: "a:b" output: ("a", "b") 到目前为止,我的方法不断收到错误消息:“ s...

意外的字符串相等结果

作者:normidar 提问时间:12/1/2022

我有一些 OCaml 代码: let (&>) : ('x -> 'y) -> ('y -> 'z) -> ('x -> 'z) = fun g f x -> x |> g |> f let s...

在 OCaml 中的大型列表文本上编译期间堆栈溢出

作者:wojand 提问时间:11/13/2023

我有一个小项目来检查一个数字是否是素数。这个想法是准备(生成)一个素数列表,直到某个点供库函数使用(为此使用代码生成器)。 虽然代码生成工作正常,但如果列表很大(例如,对于最多一百万个素数列表,即 ...

为什么最后一个“else”没有使用新值重新开始递归?

作者:GamersOfDead 提问时间:11/12/2023

所以我在大学学习 Ocaml,今年我们创建的代码有一些特殊的规则:没有循环或数组(我不知道为什么,但当我的一个朋友在考试中使用它们时,她几乎看起来很生气),所以我们必须只用递归来处理问题,在这里我必须...

OCaml 可加数字

作者:Rhohen 提问时间:10/31/2023

我正在学习 OCaml,从我为论文学习的一点 Haskell 中,我想知道是否有类似的机制(类型类)来表示两个数字是可加的(比如 int、float、string 等的泛型)。我知道在 OCaml 类...

OCaml 中有结对构造函数吗?

作者:richardIII 提问时间:10/28/2023

在解析输入时,例如用模式,我经常需要写。scanf"%d %d\n"fun x y -> x, y 标准库中是否有函数可以替换此表达式?pair、tuple、(,)、似乎没有定义。...

在结构中声明私有类型的原因是什么?

作者:Valentyn Zakharenko 提问时间:10/15/2023

OCaml 允许在签名中将类型标记为私有。这是有道理的。声明为 private 类型的对象只能在模块内部创建,并在模块外部读取。 module X : sig type t = private {...

如何在沙丘文件中将 -ml 标志(或任何标志)添加到 ocamllex?

作者:user3078439 提问时间:9/22/2023

这是我当前的文件:dune (library (name parsing) (libraries toto fmt menhirLib) (modules parser lexer lex_and_...

OCAML SQLite3 预准备语句

作者:OrderAndChaos 提问时间:9/5/2023

我在 ocaml 中有以下 sqlite3 插入,效果正常。 type article = { author : string; content: string } let insert_arti...


共19条 当前第1页