区分联合的动态调度

文章/答案/技术大牛

发布

1回答

typescript

我正在尝试编写一个经过区分的联合类型的动态调度器，它是完全类型检查的。我觉得我已经很接近了，但是我不知道如何进行最后一步才能正确地检查类型。类型系统知道存在每个TKind到封装特定TKind的类型的处理程序的映射，我们可以在最后一行上面的两行中看到，它正确地处理了这种情况。我认为问题在于，当我们进行映射查找时，类型检查器没有缩小最后一行中的unionInstance，因此它将mapping[TKin

浏览 6提问于2019-07-25得票数 0

回答已采纳

2回答

差别工会类型和歧视工会类型/F#

typescript、functional-programming、f#、union-types

因此，我正在阅读有关工会类型的正式文本文档，我认为这与F#中的“歧视联盟”(当然它们有不同的语法，但概念相同)是一样的，因为我有F#背景，并且考虑到两者都得到微软的支持。但是从文档来看，F#并没有真正区分“联合类型”和“受歧视的联合”：联合类型：所以我想知道这些概念本身是否真的有区别，还是仅仅是一些依赖于语言的</em

浏览 3提问于2020-05-06得票数 5

回答已采纳

1回答

有没有一种自动的方法来为名称空间中的所有接口创建区分联合？

typescript

我使用的是TypeScript (目前是2.5，但如果需要，我可以更新到2.6 )。我有一个带有一些接口的名称空间： export interface One { }kind: "Two" kind: "Three"}ex

浏览 0提问于2018-01-17得票数 5

2回答

为什么F#不为operator==提供自定义重载？

.net、f#、operator-overloading、equals

默认情况下，F#中的区分联合和其他基元类型使用结构相等，并为.Equals方法提供生成的重写。F#相等运算符与C#相等运算符的明显不同之处在于，即使对于引用类型，它也使用.Equals方法，但是当从C#使用F#区分联合时，将使用object的默认operator==，它检查引用相等而不是结构相等为什么F#不为区分的联合类型生成自定义operator==，以便==在其他.NET语言中使用时提供预期<e

浏览 1提问于2010-09-23得票数 7

回答已采纳

1回答

类型记录动态类型取决于值(泛型)

reactjs、typescript

是否可以根据键dataIndex的值获得动态类型(创建带有泛型的动态区分联合类型)？

浏览 1提问于2022-05-12得票数 2

回答已采纳

1回答

OpenMP和不平衡的嵌套循环

c++、parallel-processing、openmp

我正在尝试使用OpenMP编译指示并行化一个用C++编写的模拟器。我对它有一个基本的了解，但没有经验。; j++) { doit(ts, j); }由于每个种群的大小不同，Population::update()中的循环需要不同的时间，从而导致次优的加速比。我在4个线程的情况下获得了2倍的加速，但是在8个线程的情况下它下降了。我知道schedule(dy

浏览 0提问于2017-08-29得票数 0

1回答

Fortran是一种多分派编程语言吗？

fortran、multiple-dispatch

Fortran中的INTERFACE语句是否使其成为正式实现的编程语言？(我之所以这样问，是因为维基百科的文章链接上并没有将Fortran作为支持该范例的示例编程语言的完整列表)。

浏览 6提问于2022-06-25得票数 3

回答已采纳

1回答

我在哪里可以找到F#区分联合的序列化程序？

serialization、f#、discriminated-union

我需要将使用F#区分联合表示的抽象语法树持久化为人类可读的紧凑格式，比如F#语言中已经用于构造区分联合的格式，稍后我可以将其读回到区分联合实例中。我有点惊讶的是，F#库不支持这一点，因为它肯定必须以一种已经在编译器和F#交互中以高效的方式完成。有没有什么免费/开源的实现可以用一种合理的(但不一定是非常有效的)方式做到这一点呢？注意:我

浏览 2提问于2010-09-16得票数 3

1回答

如何在django中执行此搜索逻辑

python、django

我正在为我在django的页面编写一个小型搜索引擎。我的查询代码：books = Book.objects.filter(title__iregex=r"\y{0}\y".format(sterm)) 这段代码的一个问题是，如果我搜索"python test"，它只提供给我标题中有"python test"的书籍。但我也需要书名中只有"python"

浏览 2提问于2014-03-19得票数 0

回答已采纳

1回答

SSRS动态数据集

dynamic、reporting-services、dataset

我已经创建了动态数据集，但无法继续进行数据集中的parameterName比较。tableName varchar(100)； SELECT Name as column1，Definition as column2，'View‘as column3 FROM @tableName联合此外，请参阅column3，此列实际上是根据架构名称来区分dataset的，这样我就可以将此架构名称与结果集(Dataset)进行比较，然后根据@tableName参数，我应该能够只为一个表选择数据。因此，我有两个

浏览 0提问于2015-07-27得票数 0

1回答

TypeScript:从歧视联盟导出地图

typescript、discriminated-union

我有一个区分类型的联合类型，它基于字符串文本字段来区分类型。我想导出一个映射类型，它将联合中的所有类型映射到它们相应的区分符文本值。.type WhatIWant = { fetched: Fetched<Product>这在TypeScript中是可能的吗？

浏览 0提问于2018-05-02得票数 13

回答已采纳

1回答

如何区分被区分的联合类型

typescript

假设我有一个有区别的联合类型来表示Redux操作：interfacetype: 'REMOVE_TODO'; id: number; }如果我想将操作类型映射到处理它们的缩减程序我想说“type对应P的Action”，但我不知道它是否存在。我尝试过Action &

浏览 0提问于2017-02-01得票数 5

1回答

使用Reflection.Emit生成受歧视的联合

reflection、f#、reflection.emit、type-providers、discriminated-union

我想知道是否可以在f#中使用Reflection.emit (或者其他任何东西)生成一个DU，或者甚至向已经定义的DU中添加新的案例。我一直在看msdn的网站，我发现我所能做的就是得到工会案例或创建工会案例。要么使用FSharpValue.MakeUnion，要么使用引号与Expr.NewUnionCase一起创建它们。我使用这种方法的问题是，我如何能够将它们绑定到我提出的合并案例属于同一个DU？也许这不是解决这个问题的权利。在这种情况下，我将如何动态

浏览 5提问于2016-05-21得票数 2

回答已采纳

1回答

向MongoDB编写有区别的联合是可能的吗？

mongodb、f#

"TestDB")我将以下内容插入到我的集合中：_t: "L" 因此，看起来Mongo的.NET驱动程序不知道如何处理受歧视的联合。我尝试的另一件事是像这样使用Newto

浏览 1提问于2017-03-21得票数 2

1回答

异常字段“”鉴别器“”没有默认值

hibernate

</subclass>当我试图添加TWOSUB的对象时，它引发了下面的异常字段‘鉴别器’没有默认值。上面的映射有什么问题？

浏览 2提问于2013-04-03得票数 0

4回答

如何在F#中枚举有区别的联合？

f#、discriminated-union

如何在F#中枚举区分联合的可能“值”？我想知道是否有像Enum.GetValues(Type)这样的歧视工会，尽管我不确定我会列举什么样的数据。我想生成一个有区别的联合的列表或数组，每个选项对应一项。

浏览 1提问于2011-08-09得票数 37

回答已采纳

2回答

在运行时创建Quartz Scheduler实例

java、quartz-scheduler

组将是唯一的，我们希望，如果用户(Admin)创建了一个新的组，那么应该创建一个新的调度器实例，并且该组中的所有作业都应该在将来由该调度器实例处理。这意味着，如果管理员创建了一个新的组，比如NewProductNotification，那么我们应该能够创建一个同名为NewProductNotification的调度器实例，并且属于NewProductNotification组的所有作业都应该由调度器

浏览 6提问于2012-03-24得票数 1

回答已采纳

1回答

“移除”联合类型匿名对象的替代方案

typescript、typescript-generics

我有一个带有判别器字段的联合类型，在本例中是disc。这些联合类型是对象文本的联合，除了区分器字段之外，它们可以具有任意字段，例如： | { disc: "a"; someField: string } | { disc: "c"; foo: number }我如何能够基于disc (

浏览 2提问于2022-11-01得票数 1

回答已采纳

1回答

GCD dispatch_set_target_queue函数的第一参数类型

multithreading、objective-c-blocks、grand-central-dispatch

dispatch_set_target_queue(queueB, queueA); // will set queueA as queueB's target 我没有看到dispatch_object_t Union中的任何字段是

浏览 5提问于2014-08-04得票数 1

回答已采纳

点击加载更多