在流游乐场中，它工作时没有错误，因此仿真器中的预期结果是没有错误的。然而，实际结果是一条关于受限类型不符合的无用错误消息： execution error code 1101: [Error Code: 1101] cadence runtime error Execution
浏览 16提问于2021-10-25得票数 0
根据的说法
在实践中，限制是什么？此外，是否有不同的限制，适用于推断表达式类型与参数类型界限，以及这些限制是什么？
浏览 19提问于2012-07-11得票数 120
回答已采纳
1回答
的论文(彭福和阿伦·斯汤普)提出了自我类型，认为这些类型足以在上对归纳原理和数据类型进行编码，而不会使系统不一致或引入悖论。
那篇论文的批注太重，我无法完全理解如何实现它。或者，换句话说:在什么点上，一个天真的实现的补丁应该受到限制，这样它就不会在核心演算上留下不一致的地方？
浏览 4提问于2017-03-30得票数 6
回答已采纳
我的问题是，我只需要餐厅，酒吧使用谷歌API。这是我的基础url:- "https://maps.googleapis.com/maps/api/place/"一种合适的工作方式。
浏览 0提问于2019-03-21得票数 1
回答已采纳
3回答
我注意到在Windows和Linux x86上，float是一个4字节类型，double是8，但在x86和x86_64上，long double分别是12和16。最初的技术限制似乎是由于x86处理器不能处理超过80位的浮点操作(加上2个字节来四舍五入)，但是为什么与int类型相比标准中的不一致？为什么他们不至少达到80位的标准化呢？
浏览 1提问于2010-08-10得票数 3
回答已采纳
3回答
ERRORclass CellInt extends Cell[Int] {}
显然，this的VAL <: AnyVal类型与NEXT <: AnyVal类型相同，但是，我仍然会得到错误。我如何告诉Scala next应该能够返回任
浏览 3提问于2012-09-13得票数 0
回答已采纳
我想添加一个限制，说明A类的个人恰好有一个数据类型的属性值。我一直在尝试在等价类中插入hasXValue exactly 1。此外，我还尝试将min和max限制结合起来。我已经理解了OWL中关于世界假设的一些解释，但是我想知道它可以用来做这种限制的哪种公理。实际上，对我来说最简单的解决方案是在SPARQL ASK查询中查询，查看不存在与某些类相关且没有数据类型属性值的实例(我使用了FILTER不存在)。通过这种方式，我可以有一个真/假值，说明是否有任何个人没有数据类型<
浏览 3提问于2014-10-20得票数 1
回答已采纳
当我试图使用XmlType实体框架向带有ADO.NET列的oracle表中插入使用大型xml的新记录时，会出现以下错误。datatypes: expected NUMBER got NCLOBPL/SQL: SQL Statement ignored
映射到此列的属性的数据类型为字符串
浏览 1提问于2012-06-06得票数 3
我正在练习CPP速成教程(第8章，练习1)中的C++代码片段，下面没有编译，下面提供了程序的错误。如果提供任何关于理解的建议或链接，将是有帮助的。*)。max; for (const auto i : FibonacciRange{ 50 }) { }错误
浏览 2提问于2021-05-04得票数 0
回答已采纳
在local_fees (检查数据类型)上创建外键时出错已经将fees pk设置为unsgined，与仍然获取关于数据类型的错误消息的manage_fee im相同。无论何时设置on delete null，我都会得到错误
ALTER manage_fees添加约束fk_fees外键(local_fees)引用fees(id)对删除设置NULL进行更新限
浏览 3提问于2021-03-25得票数 0
回答已采纳
我的实现是但是，我收到了一条奇怪的错误消息：“附录.1.6:1.6-1.36警告:由于值限制而没有泛化的类型vars被实例化为虚拟类型因此，当我试图平平int列表列表时，我会得到一个类型错误：stdIn:2.1-2.20错误:运算符和操作数不一致
运算符域：?.
浏览 3提问于2014-05-17得票数 0
回答已采纳
分析->事件()界面的“自定义分解”视图说，我记录了1909年的一种事件类型和另一种类型的805。我相信这些计数是正确的，因为它们与输入数据相匹配。计数不一致。这是一个错误，还是我不正确地使用了Explorer接口？我知道，在Parse内部，一次只能获取1,000条记录。也许这个(或类似的)限制适用于Explorer接口？
浏览 1提问于2015-07-07得票数 6
回答已采纳
entity);
} { }错误如下：
不一致的可访问性:约束类型'IEntity‘比&#x
浏览 0提问于2019-04-13得票数 0
回答已采纳
为什么额外的是“使用where；使用索引”而不是“使用索引”。 `count_id` varchar(38) NOT NULL, `count_time` datetime NOT NULL, ) ENGINE=InnoDB D
浏览 2提问于2019-06-16得票数 0
1回答
为什么泛型函数需要使用[]来指定类型？不能在没有类型推断的情况下简单地报告结果[]吗？最后，应该如何构造函数，以便处理这样的情况？
浏览 4提问于2017-11-23得票数 1
回答已采纳
1回答
ML中的值限制在可能破坏类型安全性的上下文中阻止类型泛化。核心问题似乎来自于组合顺序突变和多态类型，例如在这个OCaml代码中：在没有值限制的情况下，最后一行将没有错误地键入代码，因为x的多态类型将与bool统一。为了防止这种情况，x的类型必须保持单一形式。我的问题是:是否可以通过使
浏览 9提问于2016-10-22得票数 2
回答已采纳
1回答
我的问题超出了一个已经被问到的问题Pizza and hasTopping exactly 4 CheeseTopping and hasTopping onlyCheeseTopping
现在，当一个断言类型为'FourCheesePizza‘的个体具有少于四个'CheeseTopping’属性断言时，我如何强制本体的不一致？换句话说:我该如何声明，假设两个“CheeseTopping”属性断言肯定是唯一强制不一致的断言？
浏览 1提问于2013-04-28得票数 0
1回答
在Jack兔子中是否可以限制同名兄弟姐妹，而不完全定义我的节点的类型？我正在寻找一个简单的CND定义，它可以应用到我的存储库中，并用作我所有节点的类型。我可以手动地避免同名兄弟姐妹，方法是锁定相关的父节点(集合)，并手动检查具有相同名称的节点，为了显示应用程序级别的错误消息，我可能会这样做，但是我更希望有一个防止不一致的额外层。此外，我发现这份文件：
尽管每个兼容的存储库都必须支持一组所需的节点类型，但这些必需的节点类型中没有一个允许同名兄弟节点，而且在特定存储库中
浏览 2提问于2013-08-01得票数 1
按照，Rust处理异步块和闭包时，返回类型与不同类型相同。在Haskell，他们得到了同样的待遇。
浏览 4提问于2022-06-27得票数 0
回答已采纳
谁能给我解释一下，为什么下面的代码不能工作，我能做些什么来使它工作？scala> trait A[T[_]]defined trait B
<console>:10: error: erroneous or inaccessible type
浏览 0提问于2014-09-24得票数 1
云服务器
ICP备案
对象存储
云直播
腾讯会议
腾讯云开发者
