3回答
在OCaml中扩展不可变类型(或者:不可变类型的快速缓存)
caching、hashtable、ocaml、immutability
我在ocaml中有一个递归不可变的数据结构，它可以简化为如下所示：{ some_other_complex_field :有一个计算表达式的递归函数。，有时多次检查同一expr的结果，有时检查最近使用模式映射的表达式现在，结果函数是非常轻量级的，我知道我可以使用Hash
浏览 0提问于2012-02-03得票数 5
回答已采纳
2回答
OCaml可变变体类型
types、ocaml、immutability、mutable、mutability
在第37页中提到可变的变体类型： | B of mutable int * inttyp
浏览 2提问于2013-06-28得票数 2
回答已采纳
3回答
为什么我的字符串类型是‘`bytes`’？
ocaml、ocaml-core
根据真实世界的OCaml，"abc"的类型应该是string。但实际上在我的utop REPL中，它是bytes类型的。
我已经开了Core.Std。为什么会这样呢？( OCaml的版本是4.02.2；Core是112.24.01；utop是1.18)。
浏览 1提问于2015-07-19得票数 12
2回答
为什么ocaml有可变的数组？
functional-programming、ocaml
为什么Ocaml有可变的数组？据我所知，函数式编程是为了最小化副作用。可变(edit:)数组不是与这个想法相反吗？甚至连字符串在Ocaml中都是可变的，这在python中甚至不是这样的，或者OCaml不被认为是一种纯函数式语言？
浏览 22提问于2020-08-26得票数 1
回答已采纳
4回答
OCaml有通过引用传递的能力吗？
c++、ocaml、pass-by-reference
在C++中，程序可以传递一个引用，而不是一个函数的值。{}
OCaml提供了同样的功能吗？
浏览 1提问于2016-10-12得票数 5
回答已采纳
1回答
OCaml -为什么将数组引用设为默认值
ocaml
我知道在OCaml中，默认情况下不能更改变量的值。例如，我们不能执行以下操作： let a = 1;
a = 2; 为此，我们添加了关键字ref： let a = ref 1; a := 2; 然而，我不明白的是，我们不需要为Array这样做。我们可以更改数组的值，即使它的类型不是：ref 'a。例如，我可以这样做： let a = Array.create 3 0; a.(1) <- 2; 不会出现任何错误。那么，为什么我们可以<e
浏览 16提问于2019-02-23得票数 0
回答已采纳
2回答
什么语言功能消除了整个错误类别？
language-agnostic、programming-languages、language-features、self-healing
我经常看到这样的说法:编程语言特性消除了整个类错误。
不可变的数据结构消除了由于不理解更改可变状态的影响而引起的错误类别。我并不是想弄清楚上面的说法是否属实
浏览 4提问于2014-02-26得票数 2
回答已采纳
2回答
OCaml为什么空数组具有多态类型？
ocaml
OCaml数组是可变的。对于大多数可变类型，即使是“空”值也没有多态类型。option ref = {contents = None}- : ('_a, '_b) Hashtbl.t = <abstr>- : 'a array = [||]在这种
浏览 0提问于2018-05-24得票数 4
回答已采纳
2回答
应该从方法返回Collection还是ImmutableCollection？
java、api、collections、return-type
在用Java编写API时，返回某种类型的不可变集合时，可以从方法返回Collection (或List、Map等)，或者返回番石榴的ImmutableCollection (或ImmutableList将返回值设置为ImmutableCollection将限制我永远使用这个确切的类型，这样我就不能在以后将_immutableMap替换为自己的不可变类型，返回的值是t an Immu
浏览 0提问于2013-12-17得票数 6
回答已采纳
1回答
OCaml中的排序函数使用的是不可变数据结构还是可变数据结构？
functional-programming、ocaml
在sort的实现中，OCaml使用mutable还是immutable数据结构？这是否会影响performance
浏览 4提问于2013-02-22得票数 0
回答已采纳
3回答
OCaml编译器是否支持真正的模块别名？
ocaml
我创建了一个新模块，它只是一个具有很长名称的模块的较短别名：我所处的情况是，最终可执行文件的大小很重要。上面的构造是由编译器正常处理的(即M实际上只是一个别名)，还是它在定义M的模块中复制了ModuleWithLongName的全部内容？
浏览 0提问于2013-02-22得票数 4
回答已采纳
2回答
什么时候在OCaml中创建物理上不同的值？
ocaml、object-identity、referenceequals
=))在OCaml中的含义。
(* h *) (Some None) == (Some None);; (* false *)
"“一节建议语言规范要求bools、int、chars、单位值、简单变体和空列表是
浏览 5提问于2012-08-05得票数 4
回答已采纳
4回答
为什么部分应用程序有价值限制？
ocaml
我可以理解，allowing mutable是价值限制和弱多态的原因。基本上，函数中的可变引用可能会更改所涉及的类型，并影响该函数的未来使用。因此，在类型不匹配的情况下，可能不会引入真正的多态性。| Some y -> y ;;
val remember : '_a -> &#
浏览 1提问于2014-10-09得票数 1
回答已采纳
3回答
何时应该重写.NET类等于()？什么时候不应该呢？
c#、equals、gethashcode
VS2005文档部分声明
更新的.NET Framework4文档省略了该语句，尽管社区内容中的一个帖子重复了断言并引用了旧的文档。如果重写等于()和ImaginaryNumber ()的GetHashCode()被放置在HashSet中，并且可变实例更改了它的值，那么该对象将不再存在于HashSe
浏览 3提问于2012-03-14得票数 14
回答已采纳
2回答
如果我在OCaml中使用list创建图形数据结构/算法，会有效率吗？
functional-programming、ocaml
我现在开始用OCaml编写与graph相关的data structure和algorithms。
我愿意尝试在OCaml中以函数式的方式编写它们，即避免使用array、可变类型等。
浏览 0提问于2013-03-29得票数 3
回答已采纳
3回答
结构中间的可变长度数组-为什么这段C代码对gcc有效
c、gcc、c99、c11、variable-length-array
有一些奇怪的代码使用VLA (可变长度数组)，这被gcc 4.6视为有效的C (C99，C11)：int main(int argc,char**argv) struct0$ icc a.c -o a.icc为什么GCC认为这是有效的？如果它是GCC的扩展，在哪里描述？
浏览 129提问于2013-01-31得票数 23
回答已采纳
1回答
是否有可能有一个不被垃圾收集的可变类型？
python
我想知道这样的事情是否存在。是否有一个可变但未标记为垃圾收集的对象(特别是tp_flags和Py_TPFLAGS_HAVE_GC )？我有一个类似C++结构的对象，我正在编写它，我想知道它的所有成员是否都是不可变的。我正在考虑检查Py_TPFLAGS_HAVE_GC标志以确定这一点。如果所有的成员都是不可变的，我想通过做一个更快的浅拷贝来加快深度复制，因为我知道成员是不可变的，那么
浏览 0提问于2014-06-09得票数 1
回答已采纳
2回答
C++支持可变长度数组吗？
c++、c++11、variable-length-array
不，等等，容忍我..。如果不存在大小，则数组类型为不完整类型。如果大小为*而不是表达式，则数组类型是未指定大小的可变长度数组类型，只能在具有函数原型作用域的声明中使用；这些数组仍然是完整的类型。如果大小是整数常量表达式，且元素类型具有已知的常量大小，则数组类型不是可变</e
浏览 8提问于2011-12-21得票数 34
回答已采纳
云服务器
ICP备案
对象存储
实时音视频
云点播
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号