我最近一直在学习OCaml，到目前为止，编译器似乎使用了一个箭头来表示下一个类型是什么。例如，int -> int -> <fun>是一个返回整数的整数，它返回一个函数。但是，我想知道是否可以在OCaml代码中本机使用它。此外，如果有人碰巧知道它的适当名称。谢谢。
浏览 7提问于2017-03-16得票数 4
回答已采纳
2回答
我在OCaml中得到了append函数的一个实现，但它似乎让我感到困惑| [] -> fun y -> y在这种情况下，fun y的用途是什么？
浏览 0提问于2013-05-18得票数 2
回答已采纳
这可能是一个愚蠢的问题，但是由于OCaml并不是纯的，并且具有内置的副作用，那么monads在OCaml中有什么用处呢？
浏览 4提问于2015-04-24得票数 17
回答已采纳
我在运行现实世界OCaml这本书中的一些代码时遇到了问题。代码片段在上。特别是，我在第6行得到了一个类型错误：我使用的是OCaml 4.04.1，根据utop，List.Assoc.find的类型签名是：
浏览 0提问于2017-06-06得票数 0
回答已采纳
1回答
Ubuntu的右下角箭头
、、、
📷
Ubuntu中右下角箭头的用途是什么？如何移除它。它在重新启动后就会消失，有时会回来。我认为我没有为箭头安装/添加任何东西，而且它总是在所有程序之上。
浏览 0提问于2018-08-09得票数 1
2回答
我想要类似于Python的，但在OCaml中。我正在编写一个OCaml程序，它像shell或REPL那样接收输入，我想添加由箭头键提示的历史记录。是否有提供此功能的库或内置库？
浏览 0提问于2019-04-18得票数 1
回答已采纳
与许多宽客/对冲基金谈过，我得出的结论是，他们中的许多人似乎正在使用自制语言或OCaml来完成许多任务。他们中的许多人不能回答为什么。我当然可以理解为什么他们在很大程度上不想使用C++，但是为什么OCaml在这些用途上比其他脚本语言更好呢？
浏览 1提问于2009-12-18得票数 26
回答已采纳
与ReactJS中的普通函数相比，它有时对处理this关键字有帮助吗？因为在react通过组件传递函数时，我们需要非常仔细地考虑this关键字，所以请帮助我理解箭头函数是如何起作用的。
浏览 0提问于2018-05-31得票数 0
我一直在试用OCaml。有时使用解释器shell测试一些代码会更快，但当我按下' up‘键时，它不会调出最后一个命令。
当我错过了输入的东西，或者希望看到一个小小的变化会产生什么，这是一种痛苦。
浏览 0提问于2012-08-01得票数 24
回答已采纳
在以下函数中，该函数反转数组/列表： match l with | h::t -> rev t @ [h];;h::t -> rev t @ [h];;
我想知道是否有人愿意解释一下这个垂直条形|在OCaml中的用途，也许还有其他用途呢？
浏览 14提问于2017-03-26得票数 2
回答已采纳
1回答
我看到的关于GADT的所有教程(在Haskell、Coq和Idris中)都使用一个类型良好的解释器的相同的exapmle来展示GADT如何有用，其中使用类型索引在对象语言中编码术语的类型。当我们认为GADT是一种解决方案时，还有哪些其他的例子和一般规则？
浏览 0提问于2017-02-27得票数 4
3回答
使用标准输入识别箭头键
、、、、
有没有可能有一种跨平台的方式来处理C或OCaml程序中的退格键和箭头键？实际上，如果是一个OCaml解决方案会更好，但是许多标准的unix函数都被直接包装到相应的API调用中，所以移植一个C解决方案应该没有问题。我要实现的是捕捉箭头键以覆盖shell中的行为(通过重复最后一行或类似这样的操作)。我认为这件事发生在实际程序之前，它不是由代码本身处理
浏览 1提问于2010-11-09得票数 15
回答已采纳
1回答
我正在学习OCaml，到目前为止，我很难理解类型的概念。例如，如果我们有以下代码：val func : 'a -> 'a = <fun># let composition f x = f(x);;
val composition : ('a ->
浏览 0提问于2021-03-02得票数 0
回答已采纳
我试图理解OCaml中本地抽象类型的用途。本地抽象类型与类型变量有何不同？他们似乎有着相同的行为：# let f (x : 'a) : 'a = x;;
(* Locally abstract
浏览 2提问于2022-08-22得票数 2
回答已采纳
我在Linux终端上使用Ocaml。有时它会卡在一种奇怪的模式下，它不能像预期的那样响应我的键盘。例如，如果我按向上、向下、向右和向左箭头，它将在输入中生成^[[A^[[B^[[C^[[D。或者，有时如果我只键入一个字母一次，它可能会在一行中重复该字母三次，并且/或者如果我键入delete按钮，它会键入"^H“。
有人知道这是怎么回事吗？
浏览 2提问于2012-11-14得票数 4
1回答
我想要有条件地执行命令#use "a.ml“，即在'if statement‘中，如下所示...
let funs = function (true) -> #use "1.ml"
浏览 0提问于2014-01-28得票数 0
我想为游戏添加一个“帮助”选项，它将逐个检查游戏组件，用箭头指向它们，并让文本框显示它们的用途。我在寻求关于实现这一目标的最佳方法的建议。如果我在包含箭头的游戏活动上显示一个巨大的(部分透明的)图像(我将需要为游戏的每个组件提供每个箭头的图像)。这方面的最佳做法是什么？
浏览 5提问于2012-05-25得票数 8
回答已采纳
2回答
OCaml中的互递归类型
、、、、
在Haskell中，您可以执行以下操作：如何在OCaml中做同样的事情？___Error: Unbound type constructor bar
在OCaml中甚至可以定义相互递归的数据类型吗？比较数据定义以让表达式:相互递归的数据类型对应于使用
浏览 2提问于2015-04-06得票数 4
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
