首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >在“`Unbox`”的Data.Number实例中生成“`CReal`”和“`BigFloat”

在“`Unbox`”的Data.Number实例中生成“`CReal`”和“`BigFloat”
EN

Stack Overflow用户
提问于 2016-01-09 13:20:23
回答 1查看 120关注 0票数 2

如果我想在无框向量中使用CRealBigFloat e (比Double更精确),我必须给出Unbox的实例。你能告诉我怎么做吗?

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2016-01-09 14:07:45

CRealBigFloat的来源来看,似乎两者都无法解封。

CReal不能取消装箱,因为它是一个函数

代码语言:javascript
复制
data CReal = CR (Int -> Integer)

BigFloat 包含 IntegerInteger也不能取消装箱,因为它是由可变大小的字节数组支持的。

票数 2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/34693952

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档