在Vala中是否支持参数多态和子类型多态的混合约束？

文章/答案/技术大牛

发布

1回答

inheritance、vala、parametric-polymorphism

我个人最喜欢的C#特性之一是能够混合参数多态和子类型多态(泛型和继承)。但我找不到任何关于Vala的文档说明这是可用的，或者任何讨论说这是不可用的或即将到来的。有没有人能给我一个明确的答案，一个消息来源说它是，不是或将在未来可用？举一个简单的例子来说明我的意思，以防出现任何混淆： namespace Anima

浏览 14提问于2019-05-22得票数 1

1回答

Scala中的参数或子类型多态性

scala、polymorphism

我想澄清一下，我是否有权定义这两种多态情况：class Operations type Opr <: Operations type Opr = Eval def eval() = x} 它是否使用子类型多态与边界和特征trait EvalExpAlg exten

浏览 1提问于2016-01-10得票数 2

1回答

在Haskell中支持哪些多态性类型？

haskell、types、polymorphism

阅读维基百科对的定义，我提出了一个问题：看起来维基百科不包含一些多态性类型的描述，比如，这对我来说是新的，并且在Haskell中得到了支持。我不知道是否有一个扩展的列表，后面是要深入研究的示例。 参数</e

浏览 1提问于2019-05-27得票数 7

回答已采纳

1回答

这种理解正确吗:特征和函数重载都实现了即席多态，但方向不同

rust、polymorphism、typeclass、adhoc-polymorphism

我正在学习一些多态性。 rust addresses trait的维基页面是一个，的页面说function overloading是一个特别多态性的例子。根据我目前的理解，如果提供不同类型的参数将调用不同的实现，则函数是即席多态的。但是trait和function overloading似乎如此不同：trait在类型参数

浏览 9提问于2020-08-03得票数 0

回答已采纳

2回答

函数可以是多态函数和重载函数吗？

haskell、polymorphism、overload

在Graham的“Haskell编程”一书中，他定义了一个函数为多态函数，如果它的类型“包含一个或多个类型变量”。然后，他定义了一个要重载的函数，如果它的类型“包含一个或多个类约束”。根据这些定义，我的问题是，“函数可以是多态的和重载的吗？” 例如，标准前奏中的函数elem，本质上是Eq a

浏览 0提问于2016-04-18得票数 4

回答已采纳

3回答

使用接口与一般约束类型的原因是什么？

object-oriented、type-systems、generics

在支持泛型类型参数(也称为类模板和参数多态，当然每个名称都有不同的含义)的面向对象语言中，通常可以对类型参数指定类型约束，使其从另一种类型派生而来。例如，这是C#中的语法：class ExampleClass<T> where T : I1 {

浏览 0提问于2015-03-16得票数 16

回答已采纳

1回答

受约束的类型多态性

haskell

我试图定义约束多态值的列表。myList = ["foo", 5] :: [Show a => a] GHC还不支持非预测多态性无论如何，是否可以指定一种类型，例如，表单f :: Showa => [a] -> [String]的函数可以使用像上面这样的约束值？换句话说，是否有一种方法可以由编译器验证以下代码？(++

浏览 1提问于2020-05-12得票数 3

回答已采纳

3回答

使用多态性的条件

java、c#

只有在存在继承方案时才可能存在多态性，或者多态性的实现不依赖于继承。或者当有遗传的时候，多态性主要是有用的吗？

浏览 0提问于2014-06-01得票数 0

1回答

接口是属于即席多态(即重载)还是子类型多态性？

oop、haskell、polymorphism、subtyping、adhoc-polymorphism

说 adopt多态性是指当一个值能够采用几种类型中的任何一种时，因为它或它所使用的值已经为这些类型中的每一种类型都定义了单独的定义。例如，与应用于整数时相比，+运算符在应用于浮点值时所做的事情本质上是完全不同的--在Python中，它甚至可以应用于字符串。大多数语言至少支持一些即席多态，但

浏览 2提问于2019-07-18得票数 3

1回答

亚型和参数多态性是如何结合在一起的？

polymorphism、programming-languages、computer-science

斯科特从带来的报道子类型和参数多态的组合对于容器(集合)类尤其有用，例如“T列表”(List)或“堆栈T”(Stack)，其中T最初是unspeciﬁ编辑的，以后可以作为几乎任何类型进行实例化。在容器类中使用子类型多态性在哪里？我以为它会对类型参数T施加约束，以便T是给定类型的任何子类型，

浏览 4提问于2017-09-21得票数 0

1回答

“现代”HList？

haskell、record

的基础是现在古老的哈斯克尔技术。简单的问题是:考虑到过去8年Haskell/GHC开发的所有精彩的新特性，“现代”HList的构建会有很大的不同吗？我意识到这里的答案很可能是no，对于HList这一特殊情况，当时使用的技术仍然产生了最优雅的解决方案。我已经阅读了页面上记录的许多项目，唯一真正的竞争对手(即作为可供黑客使用的库实现的竞争

浏览 3提问于2012-08-22得票数 30

回答已采纳

5回答

具有类型约束的类型称为什么？

haskell、ghc

我假设它们只是被称为“受约束的类型”，但是Googling没有找到这个术语的很多用法，所以我很好奇它们是不是用了其他的名字。

浏览 0提问于2012-07-14得票数 8

回答已采纳

1回答

OCaml函子、Haskell型类和多重导子

haskell、functional-programming、ocaml、functor、caml

众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。例如，参见Shine 最近的伟大回答。我的观点是，在Haskell中可以创建派生的几个类型类的<e

浏览 0提问于2016-06-13得票数 16

回答已采纳

2回答

带有多态参数的Ocaml -构造函数

types、polymorphism、ocaml

在玩具函数语言的解释器中，我有一个expr类型，每个算术和布尔操作符都有一个构造函数。| Comparison of ('a -> 'a -> bool) * expr * expr最终，我希望

浏览 1提问于2018-03-06得票数 1

回答已采纳

9回答

PHP中的多态性是否真的是多态呢？

php、oop、programming-languages、polymorphism

为了弄清PHP是否支持方法重载、继承和多态性等特性，我发现：那么它真的是多态</e

浏览 1提问于2009-04-14得票数 25

回答已采纳

2回答

“真多态性”的例子？(最好使用Haskell)

c++、haskell、polymorphism、parametric-polymorphism

我见过很多关于“真多态性”的部分定义，例如和，但是没有一个能用两个具体的例子找到这种区别的明确例子。我知道重载+运算符是某种形式的多态性，它在Haskell和C++中的实现方式不同。有人能准确地显示两种语言中的例子有什么不同吗？

浏览 5提问于2013-04-28得票数 4

3回答

有什么方法来描述Haskell函数的类型签名而不是类型特定的呢？

function、haskell、types、type-signature、haskell-prelude

给定像negate这样的函数，它具有类型签名：我将其描述为a是Num上下文中的类型(如果您认为我错了，请纠正我)。但是，我不完全确定如何描述类似last的东西，它具有类型签名：我的猜测是，它不是特定于类型的，它接受一个列表并生成一个与列表类型相同的值。这是正确的思考方式吗？

浏览 7提问于2021-02-08得票数 4

回答已采纳

1回答

具有多态类型和类型类约束的akka类型化参与者

scala、akka、typedactor

akka 可以在多态类型上工作吗？例如，我是否可以创建一个执行以下类型安全操作的执行元： def head[T](l:List[T]):Ttrait TypedActorInterfacePolymorphic[T]{} trait T

浏览 3提问于2017-05-02得票数 0

1回答

Scala特征和C++概念之间的差异

scala、c++11、typeclass、traits、c++-concepts

Scala特征Haskell类型类和C++0x概念有什么不同？就像下面这个例子，观察者声明了一个抽象成员，receiveUpdate观察者实际上是一个“匿名”类型或结构类型。

浏览 3提问于2010-06-24得票数 3

回答已采纳

2回答

目标函数阻抗失配

scala、oop、functional-programming、scalaz、scala-cats

但是，在纯函数式编程语言(如Haskell )中，您不具有子类型多态性，而是通过类型类使用即席多态。因此，例如，您有列表数据类型和列表的一元实例。您不需要担心使用接口/抽象类，因为您没有这样的概念。在混合语言(如Scala )中，您有两个类型类(实际上是通过一个模式，而不是像Haskell那样的头等公民)和子类

浏览 2提问于2016-05-09得票数 10

点击加载更多