1回答
我正在尝试编写一个多态函数，它需要根据参数的类型做一些稍微不同的事情。是否可以使用内置类型对对象的类型进行模式匹配？to_string v = | string -> v | _ -> ""
但这似乎不是一个有效的OCaml我见过，但这也回答不了我
浏览 1提问于2010-07-29得票数 5
回答已采纳
在macOS高山上使用ocaml-top 1.1.5和ocaml 4.02.3：编辑:由于没有oca
浏览 1提问于2018-05-28得票数 0
我是OCaml的新手，还读过“真实世界”( Real，RWO)一书。第三章描述了模式匹配，并与Erlang(或Prolog)的模式匹配相比显得比较弱。我的问题是：
;;
# destu
浏览 3提问于2016-01-22得票数 9
回答已采纳
2回答
我是Ocaml的新手，我有一个关于Ocaml模式匹配的问题。如果我有以下类型定义：我如何匹配一个术语，即Function (t -> t)？到目前为止，我唯一能做的就是匹配Function f。但是，有什么方法可以使这个论点与函数相匹配呢？理想情况下，有这样的东西是很好的</e
浏览 2提问于2020-02-09得票数 0
回答已采纳
3回答
任何人都能知道如何在OCaml中打印堆栈数据结构？内置堆栈类型定义类似于：exception Emptylet cleartl; hd | [] -> raise Emptylet iter f s = List.iter f s.c
希望打印并保持其元素的位置最好使用模式匹配</
浏览 4提问于2013-06-23得票数 1
回答已采纳
考虑在模式中引入的变量，例如本Haskell示例中的f：此代码导致类型错误(“无法将预期类型‘Bool’与实际类型‘Char在OCaml中，类似的代码不是错误：它的计算结果为(true, 'c')，类型</
浏览 1提问于2019-01-05得票数 6
回答已采纳
1回答
Ocaml新手，所以问一个非常基本的问题。
如果我有一个类型，比如type foobar = foo * bar和一个foobar类型的变量a。有没有可能只从一个方法中获得foo的值？除了模式匹配，还有其他方法吗？另外，在这种情况下，您将如何应用模式匹配？因为声明的类型没有声明为type foobar = | Foobar of foo * bar
浏览 3提问于2018-05-14得票数 1
如何在OCaml中类型为string option ref的变量上进行模式匹配。我需要提取这个变量的字符串部分，但是我不能让它工作。
浏览 13提问于2020-10-19得票数 2
回答已采纳
2回答
我的基本想法是实现('a list -> 'a list)类型的冒泡排序。我使用的变量是sorted和result。如果我更改了列表中的某些元素，sorted将变为1。否则，sorted将保持为0。Result是比较的一个周期。
我想我的sorted变量有问题。有人能想出问题出在哪里吗？
浏览 1提问于2013-04-09得票数 0
回答已采纳
1回答
unexpected end of input")内存类型定义如下expression has type 'a * 'b我还是个新手，所以据我所知，'a‘和'b是泛型类型memory = (string * int) list
b
浏览 2提问于2015-10-19得票数 0
1回答
我正在尝试用OCaml编写一个OCaml求值器。基本上我需要模仿OCaml的类型检查器。我有下面的代码，它应该返回一个类型，但是编译器报告类型不匹配。，我给出了基数为(typecheck exp tenv)，它应该是motype (我的类型类型)。错误是fold left函数(typecheck ce (matchtype tenv cp etype))的计算结果是motype，这
浏览 0提问于2013-05-02得票数 0
回答已采纳
2回答
我最近才开始写OCaml代码，所以这可能是一个幼稚的question.But，我自己也搞不懂。| Int of int 有没有办法访问这个对象持有的int的值？如果是，是如何实现的？
浏览 2提问于2012-10-22得票数 3
回答已采纳
2回答
在ocaml中，假设我们有：let x = [A 5; B "y"]if (element instanceof
浏览 1提问于2013-01-31得票数 3
回答已采纳
1回答
在OCaml中，假设给出了一个类型：是否有特定于OCaml的内置(给定'a myTypeA myTypeB类型的值x )来获得'a myTypeA类型的值y(基本上取消构造该类型并移除myTypeB)？我在找一个有签名的函数：
val deconstruct : 'a myTypeA myTypeB -> &#
浏览 0提问于2018-02-27得票数 0
回答已采纳
在OCaml中，“乐趣”似乎是我的绑定运算符。OCaml有内置的替代吗？如果是，它是如何实现的？它是否使用de索引实现？只是想知道如何在OCaml中实现非类型化的lambda演算，但没有找到这样的实现。
浏览 1提问于2018-01-01得票数 2
回答已采纳
3回答
表达式匹配Ocaml
、、、
基本上，我在考虑使用模式匹配，这似乎是合适的。不幸的是，像这样的模式不起作用：| y + 1 -> some code| y + 2 -> some code编译器似乎并不高兴，从我所发现的情况来看，像我这样的模式匹配表达式是不被容忍的。，我收到警告，说我的</e
浏览 1提问于2013-04-25得票数 1
回答已采纳
在OCaml中，如何在模式匹配的不同分支中返回不同类型的值？我试图通过使用本地抽象类型来解决这个问题： | Int of int match是否可以在模式匹配的每个分支中返回不同类型的值？
浏览 6提问于2022-08-28得票数 3
回答已采纳
2回答
在OCaml中，模式匹配中的顺序与性能之间是否存在关系？例如，如果我声明一个类型：然后执行一些模式匹配，如下所示： | A -> ...match t1 with | _ -> ...
假设在第一种情况下，A的数量与第二种情况下的B<e
浏览 0提问于2013-05-02得票数 1
回答已采纳
1回答
我想编写一个函数，它接受自定义类myType的值，并返回myType option。不确定我的问题是签名、内容还是返回值。例如，我尝试编写以下内容(它简化了，没有真正的意义)： let t2 = myFunc t in | None -> None我得到了以下编译错误：
错误:此模式匹配a选项类型的值
浏览 6提问于2016-12-31得票数 0
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
