有没有办法获得对可变结构体字段的“引用”
作者:Kris 提问时间:4/24/2022
所以我有一个带有可变字段的记录类型: type mpoint = { mutable x:int ; mutable y: int };; let apoint = { x=3 ; y=4};; ...
ocaml 问答列表
作者:Kris 提问时间:4/24/2022
所以我有一个带有可变字段的记录类型: type mpoint = { mutable x:int ; mutable y: int };; let apoint = { x=3 ; y=4};; ...
作者: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...
作者:wojand 提问时间:11/13/2023
我有一个小项目来检查一个数字是否是素数。这个想法是准备(生成)一个素数列表,直到某个点供库函数使用(为此使用代码生成器)。 虽然代码生成工作正常,但如果列表很大(例如,对于最多一百万个素数列表,即 ...
作者:GamersOfDead 提问时间:11/12/2023
所以我在大学学习 Ocaml,今年我们创建的代码有一些特殊的规则:没有循环或数组(我不知道为什么,但当我的一个朋友在考试中使用它们时,她几乎看起来很生气),所以我们必须只用递归来处理问题,在这里我必须...
作者:Rhohen 提问时间:10/31/2023
我正在学习 OCaml,从我为论文学习的一点 Haskell 中,我想知道是否有类似的机制(类型类)来表示两个数字是可加的(比如 int、float、string 等的泛型)。我知道在 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 {...
作者:user3078439 提问时间:9/22/2023
这是我当前的文件:dune (library (name parsing) (libraries toto fmt menhirLib) (modules parser lexer lex_and_...
作者:OrderAndChaos 提问时间:9/5/2023
我在 ocaml 中有以下 sqlite3 插入,效果正常。 type article = { author : string; content: string } let insert_arti...