1回答
假设我想要将下面的无类型代码转换为有类型的球拍。这些函数的灵感来自SICP，在SICP中，它们展示了如何完全从函数构造数据结构。接下来，first的类型应该是(: first (All (A B) (-> (-> Number (U A B)) A)))。但是，在实现函数时，我们现在不能直接调用(p 1)，因为我们需要某种类型的事件类型，以确保first只返回A类型。将first的返回<
浏览 11提问于2016-08-31得票数 2
回答已采纳
在我的项目中，所有POJO类都在扩展父类，我的控制器有一个方法，其返回类型是父类，但实际上它是返回子类，这里我使用的是一个多态性概念，即将子类类型转换为父类。在RAML生成代码: RAML生成器代码中，它主要使用控制器的方法签名，因为签名包含父类，因此它将生成父类的模式，但实际上我们需要实际响应模式。
在RAML的API响应中有添加两个模式吗？或者是否有任何方法可以获得使用多态性概念的API
浏览 5提问于2016-09-09得票数 1
回答已采纳
1回答
给定如下所示的类和给定的联合，如何将联合初始化为正确的值？
这里尝试的是使用两个或更多不同类型作为类的核心数据类型之一。不是使用void*，而是构造将要使用的类型的联合，假设这些类型是预先知道的。问题是在实例化类时如何初始化正确的联合成员。这些类型不是<em
浏览 1提问于2011-03-11得票数 7
假设我有以下类型：type TypeB = { B: string }type MyUnionType =TypeA | TypeBtype MyContainer = { Union: MyUnionType }
现在，如果我在联合类型中创建一个类型的实例：
浏览 3提问于2019-10-06得票数 1
回答已采纳
1回答
有人知道为什么Contentful (和大多数其他无头内容管理系统产品，如GraphCMS)不支持通过接口继承，但是通过使用联合在字段级别的多态性概念似乎都很有用，并为不同的用例增加价值吗？有时了解类型并确保对象具有某些字段(接口继承)很重要，有时这并不重要，联合字段的多态性很有用。
还有其他的解决方案/模型设计模式吗？
浏览 7提问于2021-11-25得票数 1
我需要一个比默认.net序列化程序更好的功能的xml序列化库。问题是它不是多态的--假设您有类B:A{ }，并且序列化了一个类型B，那么您应该能够对它调用A myBaseType =反序列化(Xml)，并在myBaseType变量中返回一个类型B的实例。我在有一个具有单元测试的实现，序列化库应该能够处理这些单元测试。如果要序列化的对象具有子类型，而子类型<
浏览 0提问于2009-01-24得票数 2
回答已采纳
2回答
例如，我有一系列事件对象，其中事件是具有不同专门化(例如，HolidayEvent和SickDayEvent)的层次结构的基类。基类有一些字段(例如日期、雇员)，每个专门化都添加了自己的一组字段(例如，HolidayEvent有holidayName，SickDayEvent有numDays)。有什么方法可以很好地对多态数据元素(如HDF5中的多态数据元素)建模吗？我的意思是，显而易见的选择--创建一个包含所有字段的
浏览 3提问于2013-11-05得票数 2
4回答
在OCaml中扩展现有类型
、、、、
最近，我开始认为我希望能够扩展现有的类型(无论是内置的-还是我自己的类型)，例如： And of bexp * bexp| Xorof bexp * bexp现在，假设我想向该类型添加一个Nop变量，但仅用于新类型-类似于继承。嘿，这些应该是代数数据类型，对吧？那么为什么不这样做呢：...but这不是
浏览 0提问于2009-11-17得票数 20
回答已采纳
5回答
根据我所读到的关于Haskell的内容，以及我对GHC所做的实验，Haskell似乎有返回类型重载(又名即席多态)。然而，至少有一个Haskell程序员告诉我，这不是返回类型重载，而是一个“参数多态，参数被一个通用量词绑定”的例子。我认为fromInteger正在从Num的每个实例中返回一个值(某种程度上是不确定的类型)。
这似乎是一种合理的解释，但据我所知，Ha
浏览 5提问于2012-07-10得票数 20
2回答
我想知道Boost变量和c/c++中的union数据类型有什么不同。我知道union数据类型占用相同的内存位置，内存区域中最大的数据类型占用使用的内存总量。union space { float FLOAT;}S;
应该占用4个字节的内存，因为int和float是最大且大小相等的。Boost变量和union数据类型在其他方面有相似之处吗？我
浏览 3提问于2013-07-27得票数 15
回答已采纳
2回答
我来自函数式语言(例如，Haskell)，我非常喜欢类型化来实现多态，这也是实现临时重载的一种结构方法。然而，最近我开始了解 OOP 建模实际问题的方法，我很好奇为什么我们需要OOP语言(如Java)中的动态多态。根据我的经验，大多数函数调用都可以在编译时解决，因为许多函数语言不支持子类型。所以我的问题是，在什么样的情况下，我们必须使用动态多态性而不是编译时多态性？我的</
浏览 4提问于2021-03-09得票数 4
2回答
如果我错了，请纠正我，但我认为这是因为它不知道在联合中的所有接口中都有一个名为id的属性。我以前使用过类型保护，但是我认为您只能在一个联合中的两个类型之间创建一个类型保护，因为您必须返回一个布尔值？我想用类型记录(用户定义的类型保护、类型、实例等)来解决这个问题，但我不确定这是否可能，不是吗？instanceof类型保护不能为接口创建，对吗？
什
浏览 1提问于2020-06-12得票数 2
回答已采纳
谁能给我解释一下为什么这段代码打印Base，Derived，但是如果我省略了Base中的f函数，就会打印Base，Base？
浏览 1提问于2011-01-17得票数 2
回答已采纳
1回答
有时人们使用“多态方法/函数”这一短语。一种将多态类型作为参数并对其执行某些操作的方法。我所说的“多态类型”是指具有多个子类型的超级类型。超级类型中的抽象或虚拟方法，具有不同实现/重写该方法的多个子类型。
浏览 0提问于2014-08-16得票数 0
回答已采纳
我已经定义了一个类型类，它类似于一个接口，它具有我的程序所需的一系列函数。不幸的是，它需要多个多态类型，但并不是这个多参数类型类的每个函数都需要每个类型。GHC用不可演绎的类型困扰着我，我不能让代码运行。一个简化的例子： -- ...尤其
浏览 0提问于2014-06-02得票数 5
2回答
我是第一次研究OCaml，有一点F#和Haskell的背景。因此，很多东西看起来很熟悉，但有一件事是不熟悉的，那就是“开放”和“关闭”联合的概念(带有反号和[<语法])。
它们有什么用处?
浏览 0提问于2011-02-27得票数 12
回答已采纳
1回答
javascript和(据我所知)类型记录中的组件实体系统倾向于类型不太安全，我有一个想法来纠正这种情况。我目前的计划是让每个依赖于多个组件的系统公开一个实体类型，该类型将具有该系统处理的实体应该具有的许多属性。然后，我将在一个中心位置收集所有不同的实体类型为一个合并的实体联合类型。然后，在系统中，我希望能够断言某些属性在实体上
浏览 7提问于2017-04-15得票数 2
回答已采纳
{ }
a.boolProp = false; // error
最后一行将抛出一个错误，因为类型记录就是这样工作的我能否在没有错误的情况下实现上述目标，但不需要类型保护程序？我只想告诉编译器某个变量是a或b类型的，所以它应该考虑它是类型属性和方法的“真实”结合，而不仅仅是普通的属性。我很熟悉其他语言的
浏览 3提问于2017-01-23得票数 5
回答已采纳
我们给出了这个示例，比方说，我们要求必须从不同的存储库中查询用户，然后我们可以创建一个新类型SomeNoSQLRepository : IRead，这样FindUserQueryHandler就可以使用该实现的实例对于查询类型，读取器是查询类型，而命令类型是写入器。所以我的理由是这个类型是poly，因为它同时具有IRead表单和IWrite表单。看来我错了。在阅读Wikipedia中的多态<
浏览 0提问于2017-01-22得票数 2
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
