我最近开始摆弄DataKinds，以便拥有用于算术的编译时科学单位。我或多或少已经想出了一种方法来做我想做的事情，但我觉得它可以更干净。我需要可能为负的整数(m^-1)，所以我决定使用整数而不是自然数。但事实证明，当你使用:k 5时，它会给你GHC.Types.Nat，这并不符合我的需求。我最终制作了自己的自定义代数整数类型。以及定义要与其一起使用的加法和减法类型族。
但这一切似乎都是非常间接的，似乎没有很好的理由不能直接使用所有现有
浏览 4提问于2016-08-29得票数 2
回答已采纳
1回答
在下面的代码中，哪些语句具有整数提升？unchar a;short c;b = 0xFE;int d = a==b
我在一个问题系列中得到了这样的问题。如何回答。此外，某些数据类型(如char、short int )比int占用的字节数少，这些数据类型在对它们执行操作时会自动提升为int或无符号int。这被称为整数提升。例如，对于较小的类型，如char、short和enu
浏览 6提问于2022-05-13得票数 -1
回答已采纳
在基于整数的数据类型中，如tinybit，smallbit，bigint，int，uint.有时，当结果超出该数据类型的范围时，可能会发现算术溢出。我使用的表达式‘循环算术操作’，意思是(-1) 2 -> 1 -> 0 -> 255 -> 254 .(+2) 65533 -> 65535 -> 1 -> 3(小比特)等。我问的原因不仅是为了避免算术溢出，而且是为了实际需要。因此，“考虑扩展或更
浏览 2提问于2018-03-08得票数 0
回答已采纳
1回答
我知道java没有无符号int，但是在Java 8中，有一些方法可以使用整数数据类型来执行无符号算术。如何在java中将位转换为"unsigned“？
浏览 2提问于2015-05-15得票数 2
回答已采纳
我正在寻找如何将一个简单的Haskell程序(没有导入的库，只有数据类型和纯函数)转换成一个非类型化的lambda演算术语。一种很有希望的方法似乎是使用将程序编译成，然后将其转换为非类型化的lambda演算。
如何使用GHC加载Haskell程序并将其编译到Core中？
浏览 6提问于2014-12-24得票数 9
回答已采纳
我想在Haskell中创建一个表示整数mod n的数据类型，它是Num的一个实例，用来帮助执行简单的模算术运算。这会编译，但这是有问题的，这不仅是因为不清楚如何实现fromInteger，因为k超出了范围，还因为允许添加具有整数mod 4的整数mod 5，而不会出现类型错误。在我的第二次尝试中，我试图解决这些问题 data Z n = El Integer sho
浏览 25提问于2019-12-07得票数 3
回答已采纳
数据类型取决于C中的系统，它们的位长可能会因不同的机器而改变。我知道<intypes.h>头，它提供固定宽度的整数数据类型。但是，此报头保证所提供的数据类型至少具有指定的位数N。()
但在我的应用程序中，我需要具有确切位长的数据类型。例如，如果数据类型为uint16_t，则应该是16位，而不是至少是 16位。现在我的问题是:我可以使用“无符号字符”和"char“数据类型来定义新
浏览 6提问于2014-03-07得票数 1
回答已采纳
尽管有一些Lisp和ML的经验，但我在学习阅读和(习惯性地)写Haskell方面遇到了很大的困难，因为本地风格似乎是
每当possibleeschew括号有利于将运算符precedencepack的一半逻辑转化为重载的最后一个操作特别困难，因为有许多预定义操作符，每个操作符都有自己的约定和一般语义，因此经常在Hoogle和:type中阅读Haskell。是否有任何好的教程来假定CS/功能概念的知识，而专注于Haskell特定的成语？我在寻找类
浏览 1提问于2011-11-18得票数 19
1回答
我得到了一个上下文无关的语法，它定义了在给定情况下有效的算术表达式是什么。问题是用haskell和Prolog写它。这是CFG。Expr ::= lit(i)| sub(Expr, Expr)
在Haskell，这是相当简单的。我只是使用一个数据类型，叫它Expr然后我就走了。此外，运行expr(E)，其中E是一个算术表达式，如果它确实是一个通过CFG定义有效的表达式，则应该计算为true。到目前为止，我写了这个，但我不认为它是正确
浏览 2提问于2014-12-03得票数 1
回答已采纳
我正在尝试将一个简单的Haskell数据类型和一个函数转换为OO。但是我很困惑..。使用以下Haskell类型进行算术计算： Add Expr Expr |不是Haskell数据类型的一个很好的表示吗？
浏览 5提问于2012-03-01得票数 7
回答已采纳
4回答
T:如何禁用整数操作的溢出检查？
、、、、
在C#中，我们使用unchecked来禁用对整数操作的溢出检查。int int1;{}但是在to中，我找不到禁用边界检查的方法。DECLARE @INT1 INT错误结果：
算术溢出错误将表达式转换为数据类型int。
浏览 5提问于2018-03-01得票数 1
作为Haskell (GHC platform)的初学者，我遇到了一个与涉及货币/货币操作的业务领域相关的数据类型和算术操作的处理问题，我正在寻找解决方案。我正在开发的应用程序应该与(独立的)会计模块接口(通过web服务)，同时有一个(web)用户界面用于即席数据输入，该用户界面存储在单独的数据库(PostgreSQL)中。如果我错了，请纠正我，但是Haskell似乎没有一个可以被认为是等价的集成(默认)数据类型。
理想的选择应该是提供任意精度算术</
浏览 5提问于2012-08-31得票数 6
2回答
我试图理解Haskell中的类型模式和泛型类，但似乎无法理解。“为了将函数普遍应用于所有数据类型，我们以统一的方式查看数据类型:除了基本的预定义类型(如浮点数、IO和→)之外，每个Haskell数据类型都可以被看作是可能被标记的产品的标记和。然后提到了Unit，:*:和:+:。上面提到的Haskell版本中的所有<e
浏览 6提问于2010-03-12得票数 0
回答已采纳
1回答
我试图做一个简单的代码，以获得接近的PI使用haskell。然而，程序似乎预测除法的结果是整数，即使除法永远不精确(同样，它是PI).或者至少这就是我所理解的：divpi :: Integer -> Doublefatc是阶乘(加脂数)，pot是整数指数
浏览 0提问于2018-03-23得票数 0
回答已采纳
2回答
我决定通过仅使用Succ函数或我定义的其他函数和Integer number类型重新创建算术来学习Haskell将会很酷。到目前为止，我已经成功地(重新)创建了只针对整数的加法、减法和乘法。我想做的是使用一对整数来定义分子和分母，然后从那里开始。酷的是，如果我弄清楚了这一点，复杂的平面和它上的操作应该是相似的。
(我知道使用Integer类型在技术上是作弊，我不需要它。但是如果我做一些花哨的事情，比如Peano<em
浏览 2提问于2014-10-16得票数 0
3回答
MySQL中的INT、TINYINT、MEDIUMINT、BIGINT是否接受字符'-‘？我在列中使用了数据类型INT，其中的数据具有'-‘字符。但不知何故，它没有接受。如果INT数据类型不可能，我应该使用VARCHAR吗？
浏览 0提问于2014-03-25得票数 1
回答已采纳
为什么模块化在十进制中运行得很好，但是对于浮点数/实值来说却不是这样，“必须是整数和货币数据类型类别中任何一种数据类型的有效表达式，或者数字数据类型。”为什么不浮动值，因为它是一个近似值？pri%2--Gives an error 402set @pri = 3.25Msg 402、级别16、状态1、第3行--数据类型浮点和数值在模运算符中不兼容
浏览 7提问于2012-03-06得票数 9
回答已采纳
我目前正在学习Haskell，下面是一个初学者的问题：单一类型是一个特殊的Haskell术语吗？这是指原子类型吗？或者，这是否意味着我永远无法在Haskell中列出可以同时包含1和'c'的列表？所以我不能定义包含Chars和Ints的类型？
代数数据类型呢？顺便说一句，这是在Haskell中列出Ints和Ch
浏览 6提问于2014-03-29得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
