2回答
Not_found e -> with t -> 如果我在toplevel中输入它，我在第二个with上得到一个语法错误。
浏览 1提问于2012-04-25得票数 6
我读过，它在一定程度上解决了性能上下文中的OCaml异常，并提到可能会使用异常来操纵控制流。
但是，我想从语言设计/历史的角度了解在具有第一类求和类型的语言中添加异常的理由。我的理解(请纠正我的错误)是，OCaml中的异常会破坏类型系统，从而使对程序的特定状态进行推理变得更加困难。与和类型上的匹配不同，编译器将不会检查是否处理了所有可能的错误情况，这可能成为一个问题，特别
浏览 0提问于2019-07-11得票数 11
回答已采纳
我已经习惯了OCaml，在这里，我非常依赖result类型，以及一个一元接口来处理应用程序中的故障。异常确实存在于OCaml中，但我很少使用它们，除非不使用return关键字。在球拍(特别是类型球拍)中有这样的趋势吗？在Racket应用程序中处理和传播失败的惯用方法是什么？
浏览 1提问于2017-06-08得票数 5
回答已采纳
3回答
我经常读到异常有点慢，如果性能有问题应该避免(例如，在Java、F#等中)。这是否适用于Hashtbl.find等常见的OCaml函数，它们会为未找到的元素返回异常？
浏览 4提问于2012-08-28得票数 13
回答已采纳
1回答
要处理OCaml中的异常情况，通常可以选择捕获异常或使用'a option类型。如果我正确理解，由于函数Stream.next (引发异常)和Stream.peek/Stream.junk (返回'a option)，这两种选择对于流都是可能的。Stream.junk t; *****trywith Stream.Failure -> ***
其中t是'
浏览 3提问于2020-11-20得票数 1
回答已采纳
2回答
根据Rosetta代码中的一节，OCaml元组(由函数返回时)作为一个单元被保存或收集。元组空间安全性
OCaml程序员应该知道，当一个元组返回多个值时，终结不会独立地处理每个值，而是作为一个整体处理元组。因此，只有当所有的值都无法到达时，所有的值才会最终确定。我想知道在OCaml 4.05中这是否仍然是正确的，以及是否有任何替代方法来获得不具有此属性的产品类型的相同功能。
浏览 1提问于2017-10-28得票数 1
回答已采纳
1回答
我正在用Ocaml构建一个编译器，我遇到了一个问题..我有一个名为value的变量，这个变量应该接收任何类型的ocaml类型(int、float、char或bool)，但我做不到。type info = { mutable value : int;我试着创建了这样一个新类型：
type tipos = int
浏览 2提问于2014-12-20得票数 0
回答已采纳
3回答
我的理解是，“纯OCaml”指的是OCaml中的所有标准功能，包括它的非“纯”功能特性，而“纯功能”指的是通常的属性:没有副作用，没有异常处理等。在这个意义上，“纯OCaml”实现是与C或C++实现相对立的，比如OCaml。
然而，我最近与一个非常坚持“纯OCaml”在某些圈子中意味着OCaml的“纯函数子集”的人进行了一场辩论。这两种意思是否真的在社会上使用呢？是否存在这样的含糊不清？在<
浏览 10提问于2016-01-28得票数 4
如果我是open Core.Std，尝试使用close_out函数关闭out_channel会导致一个错误，因为out_channel更改了close_out的类型签名，从而给出了一个弃用错误消息。第三个问题：是我唯一能找到的其他IO函数，比如Unix模块中的read或write，它们可以处理文件描述符而不是文件句柄。在C中，文件描述符函数直接发出syscall，而来自stdio.h接收FILE *的函数则执行缓冲IO。在Ocaml中，这类似于Unix
浏览 2提问于2014-10-30得票数 2
回答已采纳
我正在编写一些OCaml代码，我想定义一个复合异常类型，如下所示：exception UndefinedTyp of exceptbase但是，当我在下面使用一些异常处理代码时，无法编译它。raise UndefinedTyp (__LOC__, "some exception messages")
如何正确定义这种复合异常类型？
浏览 2提问于2016-09-11得票数 1
回答已采纳
开始时，我定义了如下函数：然后，我可以直接写成：但是简单的函数不能作为两个或多个变量来处理更复杂的情况ocaml的列表不能包含多个类型。如果你写了这样的东西："name: %s; age: %d" % ["John"; 20]，ocaml编译器世界，嘲笑代码，告诉你一些类型<
浏览 1提问于2009-11-02得票数 2
回答已采纳
5回答
在Erlang中，鼓励您不要匹配不实际处理的模式。编辑：到目前为止有两个有趣的答案:要么是为了避免在不处理所有代数数据类型的情况下可能出现的bug；要么是因为.Net平台。找出哪一种方法是检查OCaml。那么，OCaml中的默认行为是什么？与其编写函数以便处理所有可能的情况，不如让调用方(例如)处理自动抛出的坏情况。对于那些具有Java背景的人来说，这就像拥有一种带有检查异常的语言
浏览 0提问于2010-08-03得票数 15
回答已采纳
类在OCaml中也可以有类型参数，参见中的“类参数和多态性”。
如果我是对的，在OCaml中，类可以显式参数化多态，而函数隐式参数多态？为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的泛型类和函数？因为OCaml的函数是隐式参数多态的，而不是显式的，而且C++、C#和C#中的泛型函数是显式参数多态的
浏览 3提问于2017-09-20得票数 3
回答已采纳
我正在处理LINQ查询，并使用了匿名函数和lambda表达式。一个快速的例子是方法在IEnumerables上。中是Lambda表达式类型安全的什么时候检查的？编译时或运行时
例如，在编译时检查OCaml类型，并且在</e
浏览 5提问于2015-04-01得票数 3
回答已采纳
1回答
编辑:下面是我正在处理的实际代码片段：这里的最终目标是一个类型推断引擎，所以我可以告诉infer_type将被赋予一个表达式，它将被传递给infer‘(我将不得不实现它)。我以前从来没有使用过Ocaml，我只是想在我尝试实现这些函数之前对其进行编译。
浏览 0提问于2018-03-11得票数 0
4回答
我必须编写类型为：try_finalyze f g y x：('a -> 'b) -> ('b -> 'c) -> 'c -> 'a -> 'c的函数，知道：
1.如果异常由f x引发，则返回的值必须为2.如果f x不引发任何异常，则必须返回应用于f x的g的结果。
浏览 1提问于2014-05-15得票数 1
回答已采纳
许多语言允许显式地给出泛型函数的类型参数。例如，如果我们在Java或TypeScript中有一个具有以下签名的函数：…而一个类型的MyType，我们可以编写f<MyType>()来调用f，并将类型参数T显式地给出为MyTypeOCaml有这个特性吗？
如果答案是否定的--这是因为OCaml的类型推断太强了，以至于永远不会出现类型应用程序有用的情况吗？
浏览 31提问于2022-04-11得票数 0
回答已采纳
1回答
type 'a item = { name:string; quantity:'a };;type 'a item = { name:string; quantity:'a; price:'b };;
但是，我得到了一个无界值b的错误那么，对于多个多态变量，记录类型应该是什么
浏览 3提问于2015-05-18得票数 3
回答已采纳
1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。我的观点是，在Haskell中可以创建派生的几个类型类的类型。lastName :: String } deriving (Eq, Show, Read)
这非常方便地
浏览 0提问于2016-06-13得票数 16
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
