具有多态联合类型的实例类型
多态联合类型是指一个变量可以具有多种不同的类型，并且在运行时可以根据具体的类型来执行相应的操作。在编程语言中，多态联合类型通常通过联合类型或者接口来实现。
联合类型是指一个变量可以具有多个不同的类型中的一个。例如，在JavaScript中，可以使用联合类型来定义一个变量可以是字符串或者数字：
let value: string | number;在这个例子中，变量value可以是字符串类型或者数字类型。
接口是一种定义对象类型的方式，可以用来实现多态联合类型。例如，在TypeScript中，可以使用接口来定义一个可以是字符串或者数字的对象：
interface StringOrNumber {
value: string | number;
}
let obj: StringOrNumber = { value: "hello" };在这个例子中，变量obj是一个StringOrNumber类型的对象，它的value属性可以是字符串类型或者数字类型。
多态联合类型的优势在于可以提高代码的灵活性和可复用性。通过使用多态联合类型，可以编写更通用的代码，可以处理多种不同类型的数据，而不需要针对每种类型编写特定的代码。
多态联合类型的应用场景非常广泛。例如，在前端开发中，可以使用多态联合类型来处理用户输入的不同类型的数据；在后端开发中，可以使用多态联合类型来处理不同类型的请求参数；在人工智能领域，可以使用多态联合类型来处理不同类型的数据输入。
对于多态联合类型的实现，腾讯云提供了一系列的产品和服务来支持开发者。具体的产品和服务可以根据具体的需求来选择，以下是一些推荐的腾讯云产品和产品介绍链接地址：
- 腾讯云函数（云原生、服务器运维、后端开发）：https://cloud.tencent.com/product/scf
- 腾讯云数据库（数据库）：https://cloud.tencent.com/product/cdb
- 腾讯云对象存储（存储）：https://cloud.tencent.com/product/cos
- 腾讯云人工智能（人工智能）：https://cloud.tencent.com/product/ai
- 腾讯云物联网（物联网）：https://cloud.tencent.com/product/iotexplorer
- 腾讯云移动开发（移动开发）：https://cloud.tencent.com/product/mobdev
- 腾讯云区块链（区块链）：https://cloud.tencent.com/product/baas
- 腾讯云音视频（音视频、多媒体处理）：https://cloud.tencent.com/product/tcav
通过使用腾讯云的产品和服务，开发者可以更方便地实现多态联合类型的功能，并且获得更好的开发体验和性能。
相关·内容
在我的项目中，所有POJO类都在扩展父类，我的控制器有一个方法，其返回类型是父类，但实际上它是返回子类，这里我使用的是一个多态性概念，即将子类类型转换为父类。
在RAML生成代码: RAML生成器代码中，它主要使用控制器的方法签名，因为签名包含父类，因此它将生成父类的模式，但实际上我们需要实际响应模式。
在RAML的API响应中有添加两个模式吗？或者是否有任何方法可以获得使用多态性概念的API的实际响应模式？
浏览 5提问于2016-09-09得票数 1
回答已采纳
4回答
在OCaml中扩展现有类型
、、、、
我最近一直在做一些OCaml编程，以学习这门语言并更好地了解函数式编程。最近，我开始认为我希望能够扩展现有的类型(无论是内置的-还是我自己的类型)，例如：
type bexp =
And of bexp * bexp
| Or of bexp * bexp
| Xor of bexp * bexp
| Not of bexp;;
现在，假设我想向该类型添加一个Nop变量，但仅用于新类型-类似于继承。嘿，这些应该是代数数据类型，对吧？那么为什么不这样做呢：
type nbexp = bexp | Nop nbexp ;;
...but这不是有效的OCaml，它给出了一个语法错误。基本上，我想
浏览 0提问于2009-11-17得票数 20
回答已采纳
1回答
当我执行代码时
let (a,p) = (2+2, Printf.printf) in p "abc"; p "%d" 3 ;;
我希望看到输出abc3，但是
File "f.ml", line 1, characters 46-47:
Error: This function has type (unit, out_channel, unit) format -> unit
It is applied to too many arguments; maybe you forgot a `;'.
有趣的是，如果我将2+
浏览 1提问于2015-09-29得票数 6
回答已采纳
谁能给我解释一下为什么这段代码打印Base，Derived，但是如果我省略了Base中的f函数，就会打印Base，Base？
#include <iostream>
#include <cstdio>
using namespace std;
class Base;
void testClassType (Base& b);
class Base
{
virtual void f(){};
};
class Derived :public Base
{
};
int main ()
{
Base b;
Derived d;
testClassTy
浏览 1提问于2011-01-17得票数 2
回答已采纳
2回答
我是第一次研究OCaml，有一点F#和Haskell的背景。因此，很多东西看起来很熟悉，但有一件事是不熟悉的，那就是“开放”和“关闭”联合的概念(带有反号和[<语法])。
它们有什么用处?使用频率是多少？
浏览 0提问于2011-02-27得票数 12
回答已采纳
我要做到以下几点：
class MyClass {
boolProp: boolean;
}
let a: string | MyClass;
a.boolProp = false; // error
最后一行将抛出一个错误，因为类型记录就是这样工作的。
我能否在没有错误的情况下实现上述目标，但不需要类型保护程序？我只想告诉编译器某个变量是a或b类型的，所以它应该考虑它是类型属性和方法的“真实”结合，而不仅仅是普通的属性。
我很熟悉其他语言的这种行为，在我看来，这似乎是对打字本的一种功能要求。
我是不是遗漏了什么？
浏览 3提问于2017-01-23得票数 5
回答已采纳
2回答
我见过很多关于“真多态性”的部分定义，例如和，但是没有一个能用两个具体的例子找到这种区别的明确例子。
我知道重载+运算符是某种形式的多态性，它在Haskell和C++中的实现方式不同。有人能准确地显示两种语言中的例子有什么不同吗？
浏览 5提问于2013-04-28得票数 4
2回答
divide_list :: Int -> [Int] -> [Int] -> [Int] -> ([Int], [Int])
divide_list n [] l r = (l,r)
divide_list n (h:t) l r =
if h <= n
then divide_list n t (h:l) r
else divide_list n t l (h:r)
如您所见，我的函数接受Int列表。如何修改此代码以获得更通用的类型？我的意思是，例如字符串列表等。
浏览 5提问于2016-03-02得票数 1
回答已采纳
1回答
我很欣赏Control.Lens包。它确实对Haskell记录语法稍弱的问题有所帮助。我正在开发一个库的一些部分，其中性能是一个令人担忧的问题。有没有人知道，与函数中的基本模式匹配相比，使用如下所示的类型类暴露的简单镜头的性能损失会是什么？使用这样的镜头有可能成为解决记录命名空间冲突问题的一种很好的方法。我可以自己设置一些基准，但我很好奇是否有人可以省去我的麻烦。谢谢。
镜头类
class LensX v where
_x :: Functor f => (Double -> f Double) -> v -> f v
class LensY v where
浏览 0提问于2013-02-13得票数 8
回答已采纳
是否有任何有效和可用的情况，这将迫使您在析构函数之前不使用virtual关键字。
class Base {
public:
virtual ~Base() { ... } // `virtual` causes error (not compile time or syntax) or wrong behaviour
// could contain other fields
};
// some example
浏览 0提问于2019-06-11得票数 3
回答已采纳
2回答
联合行为
、、
是否有可能将以下行为从Union中提取出来？
class A : public Base //Base is an abstract base class.
{
public:
A( int );
virtual void foo() //A virtual function from Base.
{
//I don't want to have to specify if it's oneOption or twoOption.
// I would like it to just call whichever one
浏览 0提问于2013-04-12得票数 1
回答已采纳
2回答
假设我们有这样的代码，这些代码的类型很好：
{-# LANGUAGE RankNTypes #-}
data Foo a
type A a = forall m. Monad m => Foo a -> m ()
type PA a = forall m. Monad m => Foo a -> m ()
type PPFA a = forall m. Monad m => Foo a -> m ()
_pfa :: PPFA a -> PA a
_pfa = _pfa
_pa :: PA a -> A a
_pa = _pa
_pp
浏览 5提问于2017-05-12得票数 7
回答已采纳
2回答
两者之间的区别是什么？ 一个拥有explore()的超类和一个拥有相同方法的继承类，这是重写还是多态性？ 我很清楚b/w重载和重载的区别，但是多态和重载似乎是一样的。还是真的是这样？ class A:
def explore(self):
print("explore() method from class A")
class B(A):
def explore(self):
super().explore() # calling the parent class explore() method
print(&
浏览 16提问于2019-01-02得票数 0
3回答
F#中的一个受歧视的联合被编译成一个抽象类，它的选项成为嵌套的具体类。
type DU = A | B
DU是抽象的，DU A和DU B是具体的。
使用ServiceStack，可以使用函数定制类型到JSON字符串和back的序列化。关于DU类型，下面是我如何在C#中这样做的。
using ServiceStack.Text;
JsConfig<DU.A>.SerializeFn = v => "A"; // Func<DU.A, String>
JsConfig<DU.B>.SerializeFn = v => "B&
浏览 0提问于2013-07-24得票数 10
回答已采纳
我知道我们可以在不创建对象(没有点)的情况下访问匿名联合，但是谁能解释一下，匿名联合在现实世界的c++编程中有什么用处？
浏览 4提问于2017-07-26得票数 3
1回答
假设我有一个可以取消装箱/重新装箱的值的类：
class Unboxable a (rep :: RuntimeRep) (unboxedTy :: TYPE rep) | a -> rep, a -> unboxedTy where
unbox :: a -> unboxedTy
rebox :: unboxedTy -> a
像这样的实例是非常好的：
instance Unboxable Int 'IntRep Int# where
unbox (I# w) = w
rebox = I#
但是如果我尝试支持不可装箱的值的元组，比如
insta
浏览 7提问于2020-02-21得票数 3
回答已采纳
1回答
我正在学习一些F#，并试图实现像中的解析器组合器；在复制和粘贴了建议的解决方案之后，我尝试自己定制它。
当然，我遗漏了一些东西，但是编译器给了我一个奇怪的错误消息。
type T<'a> =
| A of string
| B of 'a
let foo a b =
match a with
| A s as x -> x
| B i ->
match b with
| A s as x -> x
| B j ->
B (i, j
浏览 6提问于2017-06-28得票数 7
回答已采纳
2回答
我有一个具有以下类型签名的函数
{-# LANGUAGE FlexibleContexts #-}
dataLat :: Load r DIM1 Double
=> (Array r DIM1 Double -> Array U DIM1 Double, Array U DIM1 Double)
Array、U和DIM1来自库。dataLat创建稍后作为元组传递给其他函数的数据。r类型变量一度与类型D统一(这也来自Repa)，但稍后r也应该与类型L统一(这是我的类型)。问题是它已经与D统一，因此不能与L统一。我最终得到了Couldn't match expe
浏览 1提问于2012-11-28得票数 4
回答已采纳
我写了这段代码
type Test =
| Age of int
| Name of string;;
let x = Age(10);;
if (x.GetType() = typeof<Test>) then printfn "true" else printfn "false";;
代码打印错误。但这让我很困惑，因为类型测试的年龄不是吗？
另外，是否有更好的方法来比较F#中的类型-- .GetType() = typeof<>很长。我尝试了:?，但我认为这是用于类型转换，而不是比较类型。
浏览 1提问于2013-08-04得票数 4
回答已采纳
我最近刚开始熟悉函数式编程，主要是通过F#，还有一个特殊的功能成语，我还没有完全理解它的好处。我已经在几个地方看到过它的描述，但我将参考在本文中版本。
本文描述了一个具有几个需求的购物车，它本质上将其置于三种状态之一：Empty、Active (被一个或多个项目占用但尚未支付)或PaidFor。有人认为，通过使用F#，很容易确保正确性，因为编译器将阻止您对购物车状态执行非法操作。例如：
let addItemToCart cart item =
match cart with
| Empty state -> state.Add item
| Active stat
浏览 0提问于2014-11-19得票数 5
我在下面的帖子中发现，要想拥有多态性特性，C++必须使用指针或引用类型。
我进一步研究了一些资源，所有这些资源都说了相同的原因。
有没有什么技术上的困难来支持多态的值，或者这是可能的，但C++已经决定不提供这种能力？
浏览 0提问于2013-07-09得票数 8
回答已采纳
1回答
返回动态类型
、、、
我知道模板是这样的
T add(T)(T a, Tb){
return a + b;
}
但这需要用户询问返回哪种类型，我想在方法中计算返回哪种类型，如下所示：
T getField( size_t column ){
if( column == 0 )
T = int;
else
T = string;
return to!T("1");
}
我不知道是否可以强制转换为object并更改原型。
感谢所有人
浏览 0提问于2011-11-02得票数 3
回答已采纳
1回答
包装CXF的原语
、、
我有时需要通过web服务发送一个原语列表，例如作为运行存储过程的参数。在Java中，基本上我有一个列表。这不适用于CXF。我最终做了List，其中SimpleDataItem是附加的代码。这是一个好主意，还是有更好的方法？
我基本上是在执行一个函数，我希望它看起来像这样：
ResultSet executeStoredProc(String procName, Object... args) throws SQLException;
现在，SimpleDataItem看起来像这样：
public class SimpleDataItem {
private String s;
浏览 0提问于2012-03-11得票数 0
回答已采纳
我正在制作一个多人文本游戏，游戏中的每个玩家都被分配了一个清单。库存是一个简单的线性链表，它包含项目的ID和游戏中项目的状态。例如，player1可以有一辆拥有50%燃料的红色汽车，它将在列表中表示为(5，50)，其中5是游戏中一辆红色汽车的ID，50是该特定汽车的燃料量。
但这意味着游戏中每个项目的信息都应该保存在一定的数据结构中。
我想用这样的方法
enum itemtype {car, gun, bullet, etc};
struct itemlist {
itemtype type;
char* name;
int volume, weight;
} item
浏览 5提问于2012-04-23得票数 1
回答已采纳
我很难理解TS中的联合，为什么下面的任务是有效的？我认为它只对const a = {a:12}、{a:123,b:23}或{a:12,b:12,c:123}有效。
type abcd =
| {
a: number;
}
| {
a: number;
b: number;
}
| {
a: number;
b: number;
c: number;
};
const a: abcd = {
a:123,
c:234
};
浏览 0提问于2021-01-22得票数 6
1回答
如果我在一个类中存储一个元组，如下所示：
class BaseA { } //So that I can store A in a class
template <typename Args...>
class A : public BaseA {
public:
//I'm omitting the constructors
private:
std::tuple<Args...> storedTup;
}
您是否能够在以后通过执行类似的操作来检索这些值？
//Change BaseA
class BaseA {
public:
vi
浏览 0提问于2015-01-21得票数 0
3回答
为什么我们在自引用结构中使用指针？这是强制性的还是非强制性的？如果不是，在struct中有指向struct的指针与普通的struct定义相比有什么好处？
typedef struct _Struct {
struct _Struct* next; // do we really need this pointer?
} Struct;
浏览 2提问于2018-01-29得票数 3
回答已采纳
1回答
把镜头放在唱片里
、、
我有一个用makeLenses创建镜头的MyRecord唱片。我希望在该记录中有一个字段，它本身是一个镜头，但也可以像其他字段一样使用镜头访问。
这是我的代码来实现这一点：
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE RankNTypes #-}
module Check where
import Lens.Micro ( Lens' )
import Lens.Micro.TH ( makeLenses )
data MyRecord a =
MyRecord { _normalField :: Int
浏览 25提问于2019-01-25得票数 2
1回答
我遇到了一个令人费解的情况，级别更高。我想出了如何让它发挥作用，但我不明白工作版本和非工作版本之间的区别。
有了这些背景定义：
{-# LANGUAGE RankNTypes #-}
data AugmentedRational = Exact Integer Rational -- Exact z q is q * pi^z
| Approximate (forall a.Floating a => a)
approximateValue :: Floating a => AugmentedRational -> a
app
浏览 6提问于2015-03-26得票数 8
回答已采纳
3回答
指向类类型的指针
、、、、
本质上，我试图解决不能将派生类型作为派生类型存储在基类型的(value)数组中的问题。我有多个类，它们存储一到三个ints，但必须有非常不同的函数集。我会使用一个指针数组，但是整个数组是向前遍历的，然后一直向后，大部分是线性的，所以最好把它们放在内存中。我可以创建多个数组，为每个类型创建一个数组，然后创建指向每个类型的指针数组，但是这会变得非常笨拙，而且不会像在前面的元素和运行时按访问顺序整齐地打包的每个元素一样。
所以我想的是，我用三个ints和一个指针来构造POD结构，然后用它们填充数组，然后使用这个指针来访问多态函数。它最终会有这样的结果：(请原谅这里糟糕的编码，我只是想传达这个概念)。
浏览 6提问于2015-02-06得票数 0
考虑一个函数，它接受一个集合，并返回它的字节长度，名为byteLength
byteLength : Set -> Maybe Nat
如果我想直接实现这个函数，我需要在类型参数上进行模式匹配：
byteLength Char = Just 1
byteLength Double = Just 8
byteLength _ = Nothing
但是上面的代码无法编译，因为Set/Type上的模式匹配是不允许的。
因此我们必须将接口定义为一种变通方法
Interface ByteLength a where
byteLength : Nat
implement ByteLengt
浏览 0提问于2018-09-08得票数 6
我想使用这个模式从Ruby：https://medium.com/@sachee/200-ok-error-handling-in-graphql-7ec869aec9bc返回验证失败的GraphQL 从我的突变中，我希望能够返回一个有效负载，它是一个像这样的联合： class RegistrationPayloadType < Base::Union
possible_types UserType, ValidationFailureType
def self.resolve_type(object, context)
if cont
浏览 17提问于2020-01-02得票数 3
回答已采纳
我应该如何在熊猫DataFrameGroupBy对象Python中输入提示呢？我应该用pd.DataFrame作为普通熊猫的数据吗？我没有找到任何其他的解决方案
浏览 9提问于2021-12-27得票数 4
回答已采纳
1回答
继承示例
、、
考虑下面的代码片段：
class BaseClass
{
public void SayHi()
{
Console.WriteLine("Hi from base class");
}
public virtual void SayHello()
{
Console.WriteLine("Hello from base class");
}
}
class DerivedClass : BaseClass
{
public void SayHi()
{
浏览 3提问于2013-01-20得票数 0
在我看来，类型注释和类型应用程序在几个上下文中扮演着类似的角色。但是，在某些情况下，类型应用程序是不可能的，也是复制其行为类型注释的唯一方法。
λ> :set -XTypeApplications
λ> :t fromInteger(42::Integer)
fromInteger(42::Integer) :: Num a => a
λ> :t 42
42 :: Num p => p
λ> fromInteger @Float (42::Integer)
42.0
λ> 42 :: Float
42.0
正如这里所建议的，
由于技术原因，我们
浏览 1提问于2022-10-11得票数 0
回答已采纳
有人能向我解释一下为什么6 / 3可以工作，但是6 / length [1, 2, 3]出错吗？
以下是REPL中的错误
<interactive>:20:1: error:
• No instance for (Fractional Int) arising from a use of ‘/’
• In the expression: 6 / length [1, 2, 3]
In an equation for ‘it’: it = 6 / length [1, 2, 3]
浏览 0提问于2021-02-08得票数 7
回答已采纳
1回答
我正在尝试跟进“轻量级高级多态性”()这篇论文，我一直在将这段ML代码转换成F#
type (_,_) arrow =
Fn_plus : ((int ∗ int), int) arrow
| Fn_plus_cons : int → ((int ∗ int list), int list) arrow
和
let apply : type a b. (a, b) arrow ∗ a → b =
fun (appl, v) → match appl with
| Fn_plus → let (x, y) = v in x + y
| Fn_plus_co
浏览 8提问于2016-12-06得票数 4
什么是Smalltalk中的“无界动态多态性”？有人能举个例子吗？
在这个C++模板中提到了它:完整的指南，第238页。
浏览 7提问于2012-02-15得票数 2
回答已采纳
下面的代码是有效的吗？
struct foo {
int a;
int b[];
};
struct bar {
int c;
struct foo d;
};
struct bar *x = malloc(sizeof(struct bar) + sizeof(int [128]));
这对我来说似乎没问题，但我有点怀疑，因为如果我这样做了，编译器不会抱怨：
struct bar {
struct foo d;
int c;
};
浏览 4提问于2012-05-11得票数 3
回答已采纳
3回答
是在这个关于动态多态性的问题中提出的。然而，这种模式据说只对静态多态有用。我正在研究的设计似乎受到虚拟函数调用的快速阻碍，因为 --即使是2.5倍的加速比--将是非常棒的。
所讨论的类很简单，可以完全内联地编码，但是直到运行时才知道将使用哪些类。此外，他们可能会被链子，以任何顺序，堆积如山的表现侮辱受伤。
欢迎您提出任何建议(包括如何在这种情况下使用CRTP )。
编辑：在谷歌上提到了函数模板。这些看起来很有希望。
浏览 3提问于2009-02-25得票数 10
回答已采纳
根据Haskell文档，。
创建一个定制的列表实现(比如IntList )是否有意义，它只是Int的专用列表类型？一个已经存在了吗？
浏览 3提问于2014-11-26得票数 5
回答已采纳
1回答
我正在通过WCF服务在另一台计算机上执行方法。下面是我的代码的一个小示例：
方法的调用：return pipeProxy.SystemRequest(InstanceName, MethodName, Parameters);
以下是方法和接口：
[ServiceContract]
public interface IBlissRequest
{
[OperationContract]
object SystemRequest(string InstanceName, string MethodName, object[] Parameters)
浏览 1提问于2013-06-12得票数 0
2回答
C中的多态数据结构
、、、
我是一个C初学者，拥有相当多的OOP经验(C#)，我很难理解如何在C中实现某种“多态性”的概念。
现在，我正在考虑如何使用structs来捕获文件系统的逻辑结构。我有一个同时包含文件夹和文件的文件夹。此文件夹中的文件夹可以包含其他文件和文件夹等。
我的方法：
typedef enum { file, folder } node_type;
struct node;
typedef struct {
node_type type;
char *name;
struct node *next;
struct node *children;
} node;
这是我唯
浏览 1提问于2013-08-09得票数 0
回答已采纳
1回答
我知道以前出现过这个问题，但中的答案出于某种原因对我不起作用。我的示例是以下代码：
fiblist = 0 : 1 : (zipWith (+) fiblist (tail fiblist))
fib :: (Integral a) => a -> String
fib n
| n < 10000 = show (fiblist !! n)
| otherwise = error "The number is too high and the calculation might freeze your machine."
我正在尝试将索引n处的元素转
浏览 4提问于2016-02-11得票数 0
回答已采纳
2回答
我一直在工作，在这个给出的例子，以创造镜头。
如本文所述，我创建了Lens，下面是我的代码：
{-# LANGUAGE TemplateHaskell #-}
import Control.Lens
type Degrees = Double
type Latitude = Degrees
type Longitude = Degrees
data Meetup = Meetup { _name :: String, _location :: (Latitude, Longitude) }
makeLenses ''Meetup
meetupLat = location.
浏览 3提问于2014-04-14得票数 10
回答已采纳
3回答
当我第一次学习Haskell时，我很快就爱上了参数多态性。这是一个令人愉快的简单的想法，效果令人吃惊。整体的“如果它编译它通常是正确的”的事情主要是由于参数多态，IMHO。
但有一天，我突然想到了一些事情。我可以将foo写成一个多态函数。但是，当bar调用foo时，它将使用一组特定的参数类型进行调用。或者，如果bar本身是多态的，那么它的调用方将指定明确的类型。通过归纳，似乎如果您要使用任何有效的Haskell程序并分析整个代码基，您可以静态地确定整个程序中每一个事物的类型。
从某种意义上说，这有点像C++模板。没有运行时多态，只有编译时多态.Haskell编译器可以选择为调用每个多态函数的每
浏览 6提问于2012-05-10得票数 30
回答已采纳
我有一个平台，让用户可以下载声音剪辑。声音剪辑的生产者可以看到他们的下载历史，但他们也可以删除文件，他们不想再下载。每个下载事件都有一个DB记录，与两个不同的表具有多态关系，这取决于声音剪辑类型。
我正在尝试将一个GraphQL查询放在一起，该查询将在选定的日期范围内返回下载统计信息，包括软删除文件的下载状态。LaravelQuery正在返回软删除记录，但graphQL端不提供软删除记录。
Laravel Download模型(每个下载事件在这里创建一个记录)-它可以是一个BirdSound或HumanSound记录：
class Download extends BaseModel
{
浏览 7提问于2020-02-17得票数 0
1回答
对于instance Alternative []，(<|>) = (++)。因此，我认为(<|>)是一种拼接器，导致了看似几乎通用的容器转换器：
-- (<|>) = generalization of (++)
(<|) :: Alternative f => x -> f x -> f x
x <| xs = pure x <|> xs
conv :: (Foldable t, Alternative f) => t x -> f x
conv = foldr (<|) empty
实际上
浏览 2提问于2018-02-08得票数 2
回答已采纳
3回答
我正在读一篇关于可靠的类型化编程的论文，我读到了以下引语：
“.与Haskell的类型类相比，数据类型.是封闭”，也就是说，如果不扩展数据类型，就不能向宇宙中添加新类型。
我的新手问题是:在什么意义上，Haskell类型的类是开放的？它们是如何扩展的？另外，拥有这个属性(开放的还是封闭的)的理论结果是什么？
谢谢!
浏览 5提问于2013-04-12得票数 15
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
