在64位平台上，由于指针标记，OCaml的int类型是63位。这使得int可以拆箱，并且在运行时仍然可以与指针区分开来，从而实现精确的GC。IIRC，GHC RTS中的GC也是精确的，但GHC的Int是64位的，并且它们可以拆箱。如果是这样，那么运行时系统如何区分Int和pointers呢？在区分其他未
浏览 21提问于2019-01-03得票数 4
回答已采纳
2回答
未装箱类型的限制
、、
我想知道为什么Haskell中的未装箱类型有以下限制：
新型Vec = Vec (# Float#，Float# #)类型Vec = (# Float#，Float# #)
键入家族Unbox (a :：*) :：# where Unbox Int = Int# Unbox Word =
浏览 5提问于2015-11-17得票数 10
回答已采纳
1回答
惰性求值中原语函数的类型
、、、
我想知道像Haskell这样的惰性函数编程语言中原语函数的确切类型。primitive1 : (thunk, thunk, ...) -> thunk我认为原语函数应该作为参数来传递，因为它们可能不需要其中的一些。但是，我不知道它们是否应该返回一个thunk或求值对象
浏览 1提问于2017-01-08得票数 0
回答已采纳
1回答
我的理解是，int值是指向thunk (双间接)的指针，而未装箱的Int#只是指向32/64位Int的指针。对吗？指针是如何编码的，它指的是一个未装箱的值？声明Int是“一个固定精度的整数类型，其范围至少为-2^29 . 2^29-1”。在GHC中是否有一些优化，使用这些额外
浏览 2提问于2013-06-28得票数 8
在OCaml中，多态比较是通过遍历由直接和指向块的指针组成的值的运行时表示来实现的。
根据的说法，没有参数的多态变量只是存储为一个未装箱的整数。为方便起见，摘录于此。没有任何参数的多态变量存储为一个未装箱的整数，因此只占用一个单词的内存，就像普通的<
浏览 1提问于2018-04-08得票数 9
回答已采纳
最近，当我发现Addr#类型时，我一直在寻找各种Haskell的怪癖，比如未装箱的类型等等。
readIntOffAddr# :: Addr# -> Int# -> State# s -> (#State# s, Int##)
这是什么类型的？
浏览 3提问于2015-09-11得票数 4
回答已采纳
(我指的是装箱，它是一种在运行时区分整数和指针的方法。一种技术使用一些编程语言来帮助GC (如 )。不是锈菌Box<T>型。)我有一个锈斑，看起来是这样的：enum Type<'ts> { Constructed(&'ts ConstructedType<'ts>),
浏览 0提问于2018-09-08得票数 1
回答已采纳
许多80年代的计算机爱好者都听说过Infocom系列互动小说游戏，著名的有“卓克”、“银河系漫游指南”、“星球坠落”、“永远的心灵之旅”、。我的问题是: VMs是动态的。什么是有效和合理的惯用方式来表示这个RAM (以及更全面的虚拟机结构)，以便我可以实现软件来运行这些游戏？例如，我应该使用Da
浏览 0提问于2011-01-17得票数 6
回答已采纳
我的问题是:我们从返回未装箱的元组中得到了什么？为什么不简单地返回a
最初的构想是支持从函数返回多个值，一个未装箱的元组只是Haskell语法，用于将多个值绑定在一起。未装箱的元组在运行时根本不存在.在编译过程中，取消
浏览 2提问于2020-08-16得票数 13
回答已采纳
使用Haskell，我在HackerRank上做练习，以便熟悉这门语言。对于我目前正在做的，我将不得不做一个矩阵乘法。不像在Python中我可以使用Numpy，我已经检查了Ideone，Haskell似乎没有插入任何线性代数软件包，所以我将手动完成它。如果我在F#中做这个问题，我会使用一个普通的数组，但在Haskell中我不确定，因为它有各种数组类。我正在寻找一些关于我应该在这里寻找的建议，因为到目前为止，我在语言方面总共有三天的经验。我还想知道元组在Haske
浏览 2提问于2016-05-15得票数 3
实现FFI的Haskell系统需要能够将这些类型作为函数参数和结果在Haskell和外部上下文之间传递。来自GHC手册中关于FFI扩展的一节，：
以下未装箱的类型可以用作基本的外部类型(请参见FFI增编，3.2节)：Int#、Word#、Char#、Float#、Double#、Addr#、StablePtr例如，我确信Int/Int#作为两个32位值在堆栈上传递。类似地，Ptr a&#
浏览 0提问于2018-03-25得票数 3
回答已采纳
1回答
在下面的示例中，我对值类型(int)调用了一个虚方法：{ {.locals init ([0] int32 i, ...)
...由于两个调用都使用了相同的方法(int实现了ToString())，那么这是如何工作的呢？System.Int32::ToString()方法在this指针上使用ldind.i4
浏览 2提问于2013-02-28得票数 1
回答已采纳
2回答
部分无盒向量
、、
我有一种表格的数据类型：显然，我可以从Data.Vector模块将它们放入正则向量中。但是，当我访问a组件时，我想要非常非常好的性能，所以额外的间接操作是不可取的。我想要做的是让T成为Data.Vector.Unboxed.Unbox的一个实例，但仍然让b变得懒惰。vector-th-unbox为创建Unbox实例提供了一个很好的模板haskell接口，
浏览 3提问于2013-06-24得票数 3
回答已采纳
有人告诉我，我应该在繁重的科学计算(持续数小时甚至几天的模拟)中使用未装箱的向量，而不是列表，甚至是盒装向量。
你能解释一下盒装向量和未装箱向量之间的区别吗？
浏览 1提问于2016-01-09得票数 5
回答已采纳
我有一些数据可以用一个无符号的Integral类型来表示，它的最大值需要52位。只有Integer、Int64和Word64才能满足这些要求。我能找到的关于这些类型的所有信息是：Integer是有符号的，并且有一个浮动的、无限制的位大小，Int64和Word64分别是固定的、有符号的和无符号的。我找不到的是关于
浏览 3提问于2012-01-15得票数 28
回答已采纳
我在业余时间学习Haskell已经有几个月了。对于内存子系统(L1、L2、L3缓存)，我想知道Haskell如何处理当前的库存硬件。有人能告诉我任何关于Haskell对缓存有多友好的报告/研究，因为它的评估/按需要呼叫吗？有没有办法让我们知道有多少数据缓存丢失和指令缓存丢失，看看这是否是由于语言的惰性评估性质？
谢谢。
浏览 1提问于2015-12-24得票数 24
fromInteger i = I# (integerToInt i)
它们是GHC实现的某种内在运算符吗？
浏览 1提问于2016-05-11得票数 0
回答已采纳
2回答
当我通过FFI分配一些数据并将终结器与其关联时，我在Haskell中得到了一个ForeignPtr。当该指针变为未引用时，GC将收集该指针，这会导致终结器运行。但收集仅在GC运行时发生，并且“取消引用”不会强制GC运行。也就是说，可以有许多指针，但由于指针本身不占用太多内存，RTS根本看不到启动GC的理由，因为根据我的，RTS不会跟踪外部数据的大小。这是正确的吗？
我如何<
浏览 17提问于2017-12-30得票数 1
回答已采纳
例如，下面是简单的Haskell enum数据类型：从GHC-8.2.1开始就有-XUnboxedSums扩展，它允许以更有效的内存方式定义和类型。以下是引用文档的一段话：
在所有选项都具有零宽度的退化情况下，例如Bool-like (# (# #) | (# #) #)，未装箱和布局只有一个Int32标记字段(也就是说，整件事情由一个整数表示)我想知道，这种表示是否比使用简单<e
浏览 0提问于2018-09-12得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
