1回答
我在OCaml中遇到了一个问题，我需要在列表列表上执行算术操作。作为参数，我传递列表列表，例如[[1;2;3]; [4;5;6]];，以及像这样的['+'; '*'; '-']字符列表。tl, op::tlo) -> match hd with h
浏览 9提问于2020-04-11得票数 0
我想要用于复杂算术的良好运算符，使我的代码更具可读性。Ocaml有一个复杂的模块，所以我只想添加调用这些函数的运算符。对我来说，最直观的方法是通过将“&”附加到运算符符号，从所有常用的运算符中创建一个新的复杂运算符。因此，+&和*&将是复杂的加法和乘法。我也希望~&am
浏览 0提问于2010-06-06得票数 12
回答已采纳
在普通的OCaml中，(or)是一个二进制函数，就像(+)和所有其他函数一样，所以像这样的代码工作得很好：但在任何加载了camlp4o的环境中，都无法使用以下命令进行解析：
Error: Parse error: ")" or "module" or [expr] expectedafter "(
浏览 1提问于2012-06-22得票数 1
在Ullman的SML书中fun (Nil)=0区长度( xs @x)=1+ length(xs)；Error:非
浏览 4提问于2020-04-30得票数 0
因此，术语cons在列表的前面附加了一个元素。哪里我应该如何证明cons在示例函数调用中使用beta约简正确工作？例如，将cons 3 [2,1]还原为[3,2,1]谢谢。
浏览 3提问于2020-12-28得票数 1
回答已采纳
我希望在我的OCaml程序中表示两种类型的整数，并让编译器在使用一种类型代替另一种类型时发出一个错误。我的程序在两个整数类型之间进行转换，运行时间的很大一部分用于对这些值进行操作。如果可能的话，我希望算术运算在未装箱的值上运行。我实现了一个模块，它定义了这种类型，并实现了+、-、/、*操作符。但我的理解是，这些操作运行在装箱值上。是否有一种方法可以获得相同的行为与
浏览 6提问于2022-02-02得票数 3
我正在用Ocaml编写一个递归函数，它应该计算整数列表中的项数(是的，我知道有一个List.length函数，但我正在尝试自己做)。然而，Ocaml编译器/解释器迫使我一直使用alpha list。因此，当函数接受列表作为参数时，该列表的类型必须始终为alpha，这是错误的吗？谢谢
编辑:我不方便使用alpha列表的原因是，由于类型匹配的问题，我不能将a
浏览 0提问于2010-04-12得票数 1
回答已采纳
1回答
OCaml有多态性吗？
、、、
既然OCaml对整数和双精度数有不同的乘法运算，那么它怎么可能是面向对象的呢？这不是意味着OCaml没有多态性吗？
浏览 1提问于2013-01-20得票数 5
回答已采纳
我希望在字符串中匹配算术运算符，同时避免匹配负数。我做了一些研究发现：((?!^)[+*\/-](\s?-)?)，但它实际上与+, -, * -, *, / -相匹配</e
浏览 6提问于2020-09-02得票数 1
回答已采纳
1回答
我正在学习如何编写脚本，并且遇到了一个if语句的问题。该脚本读取用户输入的分数，并计算其平均分数。但是，如果用户输入的分数小于0或大于100，脚本应要求他们重新输入有效值。代码如下：
#!但是，如果我切换到使用(())的elif，并输入"00“作为我的分数，程序将执行"then”块并退出。它为什么要这么做? 00不是“q”。
浏览 1提问于2017-10-04得票数 1
如何实现一个可以像这样使用的函数sum_matrix？let m = [[1;2;3]; [4;5;6]];; 而不使用匹配，或将列表与空列表进行比较。应该使用fold。我知道如何在两个不同的列表中做到这一点，但是矩阵方面增加了我不理解的深度。另外，OCaml如何真正接受这样的参数呢？
浏览 0提问于2013-06-11得票数 1
回答已采纳
检查给定int的每个数字是否以递归方式小于"base“。在“伪码”中{ return true; is_base (base, num/10)}let rec is_base base num=
浏览 0提问于2018-03-09得票数 0
回答已采纳
1回答
DataTypcase class Bool(b: Boolean) extends DataTyp
我想在它们上实现算术、关系和逻辑运算。在这样做的时候，有明显的代码重复，这可能会优化。而不是为了进行正确的操作格式而进行大量的模式匹配。有没有一种方法可以做一个泛型函数，我可以在进行模式匹配时作为参数传递？考虑到
浏览 0提问于2017-04-28得票数 3
2回答
在设计代数方程建模系统时，我遇到了这样的两难境地:我们不能将属性与数字相关联，例如，如果我将数字转换为具有字段"value“的表，我可以重载算术运算符，但不能重载逻辑运算符，因为只有当两个操作数具有相同的元表时，这才有效，而我的用户会频繁地将"x”与数字进行比较。然而，重要的是，用户可以将属性与"x
浏览 1提问于2015-12-19得票数 2
我正在编写一个函数，该函数读取字符串形式的后缀表达式并相应地进行计算。
在C++中，有没有一种简单的方法可以将算术运算符的字符转换为算术运算符本身？
浏览 3提问于2012-10-28得票数 4
回答已采纳
1回答
我正在用ocamllex编写一个玩具编程语言，并试图使该语言对缩进更改敏感，python风格，但我遇到了一个问题，与ocamllex的正则表达式规则的行首匹配。我习惯于使用^来匹配行首，但在OCaml中，这是字符串连接运算符。不幸的是，谷歌搜索对我来说并不多见:(有人知道这是如何工作的吗？
浏览 4提问于2011-03-16得票数 4
回答已采纳
4回答
一些语言使用一元加号运算符进行隐式转换，例如将字符串强制转换为数字(例如Javascript)或将小数字类型转换为int (例如大多数基于C的语言)，或者在重载运算符时使用。由于一元加号主要用于类似这样的黑客用途，而且由于F#不执行自动加宽转换，我对F#包含一元加号感到惊讶。
更让我惊讶的是，Haskell没有一元加号运算符。由于F#的设计受到了Haskell的影响，我很好奇为什么F#需要一元加号，
浏览 0提问于2011-11-04得票数 13
回答已采纳
OCaml能识别要使用的底层算法吗？比较运算符与算术运算符有何不同？其他FP语言也是这样吗？
浏览 5提问于2015-10-29得票数 8
回答已采纳
可能重复：
然而，是否有使用<或>比较双倍的安全时间？假设我有一次计算出的双数列表，我需要在地图中作为键进行排序或使用(即。std::map)，我保证以后不会有任何额外的算术运算。
如果我使用迭代器遍历集合，我能保证排序
浏览 11提问于2012-11-12得票数 2
3回答
我知道，当使用ocaml模式匹配时，可以使用h::t，当使用这个时，h引用列表中的第一个元素，t引用列表的其余元素。是否可以使用相同类型的匹配来获取列表中的最后一个元素。因此，t将引用最后一个元素，h将引用列表的其余部分。这样做有用的一个代码示例是
let rec remove x y = m
浏览 3提问于2015-03-25得票数 7
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
