1回答
我正在尝试制作一个函数，它交替使用两个(相同类型的)模块，同时深入到递归。我将模块作为参数传递，当我向模块添加一个存在类型时，一切都出错了。让我有点惊讶的是，如果我把这个函数设为非递归的(就像我发现的所有类似的例子一样)，它就能工作。下面是我认为的最小示例(只传递一个模块)： sig
type t
浏览 15提问于2018-01-22得票数 2
回答已采纳
使用递归和列表模式匹配来定义具有以下类型的函数exists : exists：(‘a -> bool) ->’a list -> bool该函数应具有以下行为:对于任何谓词(带布尔范围的函数)p和列表l，正确类型的调用(exists P l)应为true当存在l的某个元素x且p x为true时。我是OCaml的新手，不知道从哪里
浏览 0提问于2015-10-13得票数 0
1回答
我试图用Ocaml建立一个递归函数，但是我总是得到相同的错误代码。let rec get x =get x-7;;
错误:此表达式具有int类型，但需要类型单元的表达式。我是OCaml的一个完全初学者，在大学里学习它是为了一个模块。这是我的任务之一，我被困住了！我最初想通过while循环来完成这个任务(因为我是一个
浏览 1提问于2014-10-14得票数 0
回答已采纳
我是OCaml的初学者。我想知道如何在单独的文件中定义相互递归的数据类型。and t2 = C of float | C of t1
现在，我想在其他文件中定义这个t1和t2，以提高可读性(因为很多util函数在视觉上都是必需的我还知道，我可以像上面一样定义t1和t2，方法是创建.mli文件并隐藏实现细节(只需在.mli文件中写入t
浏览 3提问于2017-02-22得票数 8
回答已采纳
1回答
我用模块构建了一个复杂的结构，里面有一个递归。编译给了我一个我不能解决的错误(尽管我不认为这真的是由于递归)。有人能帮上忙吗？首先，定义接口ZONE和函数器ZoneFunPrec：module type ZONE = sig type info endZONES，其元素是具有相同属性的区域列表：open Propmodul
浏览 3提问于2013-09-04得票数 1
1回答
ocaml中的模块化编程
、、、
在处理ocaml项目时，我发现了一些我不太理解的东西。length: a' list -> intlength: a' array ->
浏览 0提问于2012-07-31得票数 5
回答已采纳
1回答
目前，我正试图使用Z3为具有多态列表的非类型化语言编码一个简单的程序逻辑。type value = | String of string理想情况下，我希望使用内置的Z3类型在Z3List中编码这
浏览 2提问于2017-04-24得票数 2
回答已采纳
1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。例如，参见Shine 最近的伟大回答。
我的观点是，在Haskell中可以创建派生的几个类型类的类型。lastName :: Strin
浏览 0提问于2016-06-13得票数 16
回答已采纳
1回答
在我的OCaml程序中，我花了相当多的时间一次又一次地为各种类型编写"to_string“。我需要它们来调试，或者因为我需要一个特定的格式化输出。| False ->"#f" 在“真实世界OCaml”中提倡的一种方法是使
浏览 0提问于2015-02-15得票数 3
回答已采纳
2回答
OCaml中的FIx数据类型
、、、、
Haskell中的以下数据类型如何用OCaml或SML表示？
newtype Fix f = In (f (Fix f))
浏览 7提问于2012-10-21得票数 3
我有两个文件types.ml和types.mli，它们定义了一个可变类型的value，它可以是许多不同的内置OCaml类型(浮点、int、列表、映射、set等等)。由于我必须在这个变体类型上使用std，所以我需要通过函子将Set模块具体化，以便能够通过定义value模块使用ValueSet类型的集合。当我想在I声明中使用该模块时，就会出现这个问题。因此，我得到以下错误：
错误:无法
浏览 3提问于2010-11-21得票数 7
回答已采纳
2回答
例如，Haskell似乎很喜欢“模块化程序”，f = sum . map sq . filter . odd . between | otherwise = go (m + 1) + if odd m then sq m else 0此外，我在github中
浏览 2提问于2014-01-09得票数 4
回答已采纳
1回答
我正在研究OCaml中的递归模块，在访问类型字段时遇到了一些问题。然而，我需要一个更复杂的类型，迫使我在递归模块中定义我的类型。但是，以下模块不正确： struct let get_name (x:t) = x.name 返回的错误是“未绑定记录字段名
浏览 5提问于2015-04-10得票数 2
回答已采纳
我想编写一个递归结构，就像我们在C中所做的那样，但是在Ocaml中。我希望我们包含一个布尔值和一个相同类型元素的递归副本列表。我如何在Ocaml中做到这一点？
浏览 0提问于2020-06-24得票数 0
该语言的三个主要构造是定义、语句和表达式。定义可以包含语句和表达式，语句可以包含定义和表达式，一种表达式可以包含语句。我使用联合类型来表示所有这些类型，所以我可以很容易地对它们使用模式匹配。理想情况下，我希望将这些代码放在不同的文件中，但OMake抱怨循环依赖问题。据我所知，跨模块的循环类型定义是不允许的。据我所知，解决这个问题的唯一方法是同时定义所有三种类型：
浏览 0提问于2008-08-30得票数 17
回答已采纳
let log x = print_int x; log ;;
我期望log打印111并返回自身，然后在第二个调用中打印222，但是它不能像预期的那样工作，而是得到一个错误消息如何使它像预期的那样工作？File ".
浏览 2提问于2022-10-18得票数 3
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的泛型类和函数？因为
浏览 3提问于2017-09-20得票数 3
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
