0回答
这是我正在尝试编写的一个简化的、可能很愚蠢的示例(它更复杂，并且涉及列表长度的编译时编码)。data D (a :: Bool) where我想要下面的函数gg (D x) = x == a f (D x) = x == False
g = f
但是，我必须向g添加一个约束有没有什么办法我
浏览 5提问于2017-01-09得票数 3
回答已采纳
1回答
Ocaml程序员可以使用所谓的“幻影类型”来使用类型系统来强制执行一些约束。在上可以找到一个很好的例子。有没有更好的方法在F#中定义幻影类型？
浏览 0提问于2010-08-27得票数 7
回答已采纳
1回答
我有一个类Cyc c r，它具有表单c m r的数据函数，其中m是一个幻影类型。就本例而言，主要原因是它减少了函数的约束数。在我的实际示例中，对这个接口的一个更迫切的需求是，我处理更改的和隐藏的幻影类型，因此这个接口允许我获得任何幻影类型的Cyc约束。现在，当我有一个接受泛型Cyc并需要Num (c m r)约束的函数时，我可以编写：
foo :: (Cyc c r, Foo m) => c
浏览 1提问于2015-04-07得票数 15
回答已采纳
3回答
假设我有这样的类型：也就是说，a是一个仅用于编译时检查的幻影类型。但是，我不想在任何地方都使用幻影类型。它在我的代码中并不普遍有用。编辑:我意识到我可以简单地使用()，它会回答我的问题。但实际的问题是，我有一些对a施加约束的函数，我希望它们总是能得到满足。
浏览 25提问于2016-09-24得票数 0
回答已采纳
2回答
我试图设计一个数据结构，在欧几里得平面上保存/表示一个分段的圆形轨迹。该轨迹受约束为连续的，且具有有限的曲率，因此圆弧与切向相交。存储所有圆中心、半径和接触点将允许检查O(1)中任何地方的几何，但由于数据冗余，需要明确执行连续性和曲率约束。在我看来，这会使代码变得混乱。只将圆接触点(沿曲线上的路径点)与曲线的初始方向一起存储，原则上就足够了，避免了数据冗余，但需要进行O( n )计算来检查弧n的几何形状，因为该弧线取决于轨迹中的所有弧。我想避免数据冗余
浏览 2提问于2018-09-11得票数 0
回答已采纳
1回答
> num_constraints(m, GenericAffExpr{Float64,VariableRef}, MOI.GreaterThan{Float64})这意味着，该模型现在已经将约束的数量增加了一倍这对我来说是有问题的，因为我有另一个真正的模型，我有更多的约束，有时我会添加一些可能重复的约束，或者不重复的约束。所有这些都是for和while循环。所以我想知道：
--只是约束的数量增加了一倍，但是模型确切地知道，他可以避免处理其中的一半吗？，他还记得这些
浏览 4提问于2021-01-14得票数 0
回答已采纳
1回答
public class G<T> {我想把最后一个类声明为}}
}public class F<T> where T : G<T> {这不起作用，它说T必须是A类型class F<T, U> where T : G<U>
浏览 8提问于2021-04-22得票数 1
假设我有一个脚本，它的多个函数具有完全相同的参数，位置相同，类型和约束相同，如下所示： [CmdletBinding()]在PowerShell中是否有一种方法可以在同一个脚本中跨多个函数共享param块？如果没有，还有什么替代办法吗？
浏览 4提问于2014-11-13得票数 9
1回答
正如我们所知，幻影As 2还没有正式发布，是否可以下载一个.exe并使用childProcess.spawn('./phantomjs midges.js)运行phantomjs2，它是通过exec运行的，但当我使用spawn时却不能运行。我试图避免使用exec，因为幻影‘s进程返回了很多数据，在本例中使用exec是一种不好的做法，而且我不能运行多个幻影的exec。
浏览 3提问于2015-11-20得票数 1
回答已采纳
1回答
我正在尝试为一种小型语言在F#中实现DSL。不幸的是，当我试图约束节点以保存额外的类型信息(通过幻影类型)时，编译器会阻止我继续前进。%s" (to_string b)
类型错配。期待一个E
浏览 0提问于2015-10-02得票数 11
回答已采纳
foo: F,错误：error[E0392]: parameter `R` is never used
为什么我在where子句中使用泛型，但编译器仍然报告它没有使用？
浏览 3提问于2021-10-15得票数 3
回答已采纳
我遇到的问题是，当我出于某种原因在多线程脚本中并发运行这个查询时，它可以插入重复的行。我尝试过使用序列化来避免这种“幻影读取”，但仍然没有成功。我的想法是允许Postgres只在唯一的约束冲突情况下插入非重复行。但这有可能吗？我目前的经验是，当一个唯一的约束违规被击中，它将取消整个事务，因此它将不会插入非重复的行。我怎样才能达到我的目标？注意:我使用的是Greenpriem4.3.11，也就是Postgres8.2，因此我可以使用的查
浏览 0提问于2017-01-22得票数 1
这个标题很好地总结了我的问题:是否存在与Haskell的类型类相关的运行时惩罚，或者它只是一种没有任何运行时后果的东西(比如幻影类型)？
浏览 0提问于2012-04-14得票数 21
回答已采纳
在Typescript中使用泛型时，如何避免不断重复类型？如果我对泛型类型有一些约束，那么我必须在使用泛型类型的任何地方重复该约束。这很乏味，也不是很枯燥。microsoft/TypeScript/issues/17574现在，如果我想在其他地方
浏览 0提问于2020-05-29得票数 0
2回答
1)我是否可以使用一个表作为“Employee”，并将其用作两个实例，例如收件人和提交者？
2)我是否可以使用“雇员”表，然后自我引用，以避免任何冗余？我试图考虑如何在约束条件下这样做--员工不能通过应用一个条件来提交自己的考核，因为在提交/请求反馈时，员工ID不应该相等。
浏览 8提问于2016-10-14得票数 1
回答已采纳
如果我从这个开始：然后，当我通过板时，这可以很好地进行打字检查：但是当我真的需要创建一个董事会时，我最终得到了这样的结果： // How can I just"new Board()" throws an error
return new Arra
浏览 7提问于2021-12-05得票数 0
回答已采纳
1回答
在处理类型族时，通常可以方便地使用相等约束，以避免在签名中重复某些类型函数的名称： type BulkyAssociatedType f :: * , Monoid b, Monoid (m b)即使在签名本身中没有出现缩写，
浏览 2提问于2014-01-21得票数 16
回答已采纳
它不可能被编译，因为斯威夫特在某些协议中看不到关联的类型。我已经找到了重现问题的基本最小值，下面的代码表示了这个问题。protocol Harley { where Owner.Bike == Self在此代码编译之后，我将使用\\warning标记以下警告：
这看起来是错误的，因为删除: Woman where Husband: CoolMan会使代码无法编译，所以一致性约束</
浏览 2提问于2020-01-07得票数 0
在硬币上安装幻影。遵循以下步骤，但仍面临问题。
首先，成功完成了所有步骤，但当我尝试点击幻影No时，它会显示错误
浏览 6提问于2017-07-16得票数 21
1回答
但是，在我的库中，我希望这些操作类型都在一个功能标志后面： #[cfg(feature = "decode_nop")]使用一个生存期和一个非生存期变量在适当的特性标志组合后面复制操作定义。此外，Rust在其函数(据我所知)中不支持任何类型的命名参数，这会使包含大量字段(> 4个字段)的结构的生成器难以阅读，并且容易使用错误。解决方案
浏览 1提问于2021-01-10得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
