1回答
假设一个谓词是一个函数=>布尔值，我想为谓词实现一个Cats的"Contravariant Functor“类型类的实例。我还有一个隐式类PredicateOps，它定义了谓词的并集和交集运算符。我已经能够使用类型别名让实例工作： type Predicate[A] = A => Boolean
implicit val predicateContra = new Contr
浏览 13提问于2020-04-03得票数 0
回答已采纳
2回答
我很确定我可以证明，原则上，Predicate类型构造函数是一个ContraMonad，是Monad的泛化，其中的函数是逆变量，但我不确定它将如何实现。Hask到Hask^{op}的逆变函数式，它是一个获取a的值并从它们生成命题的函数。return :: a -> Predicate a你可以考虑“返回”给出一个谓词的
浏览 0提问于2017-09-07得票数 1
我知道什么是类型的协方差和逆方差。我的问题是，为什么我在研究Haskell (而不是Scala)时还没有遇到对这些概念的讨论？与Scala或C#相比，Haskell看待类型的方式似乎有一个根本的不同，我想阐明这个不同之处是什么。
或者也许我错了，我只是还没有学到足够的Haskell :-)
浏览 4提问于2012-02-16得票数 61
回答已采纳
我对此的理解是，为了增加API的灵活性，输入(产生的集合)应该是协变的，而输出(消费的集合)应该是逆变的。实现此原则的函数可以具有以下签名：然而，在Scala中，Function1特征有
浏览 1提问于2012-06-30得票数 3
回答已采纳
你能在一些简单的TypeScript例子中解释一下什么是方差、协方差、逆方差和协方差吗？
浏览 51提问于2021-02-28得票数 5
回答已采纳
4回答
我实现了一些依赖项(这是MVP模式的一部分)。现在，当我尝试执行强制转换时，VS会通知一个错误。class PresenterA : IPresenter<IViewA>}IPresenter<IView> presenter = new PresenterA();
编译错误:无法将类型具有泛型类型的概念(我的上一个没有它)。我已经尝试了其他帖子中提到的差异和差异问题(进出)，但也有错误(在VS2010下)。
浏览 1提问于2013-02-09得票数 1
现在我们在C#中的接口和委托上有了泛型协方差和逆方差，我只是好奇，如果给出一个Type，你可以计算出它的泛型参数的协方差/逆方差。我开始尝试编写自己的实现，它将查看给定类型上的所有方法，并查看返回类型和/或参数是否与泛型参数中的类型匹配。问题是，即使我有这个：{
void DoSomethin
浏览 3提问于2010-05-27得票数 9
回答已采纳
3回答
显式投射问题
、、、
造型的解决方案是什么？
不能将类型'AContainer‘隐式转换为'IContainer’。存在显式转换(是否缺少强制转换？)
浏览 2提问于2009-09-18得票数 0
回答已采纳
0回答
我是scala的新手。我正在试图弄清楚整个反差关系是如何运作的。我理解协方差和不变量的概念，也知道如何在实践中实现它们。我还理解逆方差(协方差的反转)的概念，以及它是如何在Scala的Function1特征中实现的。它为您提供了一个抽象，而无需为不同的类重新定义Function1实现。但是，我还是不能完全理解，奇怪吗？层次结构如下: Item (基类) ->
浏览 11提问于2016-07-05得票数 3
回答已采纳
1回答
我正在尝试理解Typescript advanced types handbook中的以下示例。引用一下，它说： 下面的示例演示了协变位置中同一类型变量的多个候选项如何导致推断联合类型： type Foo<T> = T extends { a: infer U, b: infer U } ?string, b: string }>; // string
type T11 = Foo<{ a: string, b: number }>; // stri
浏览 18提问于2020-06-21得票数 5
回答已采纳
6回答
在本例中，Cat实现IAnimal，当然List实现IList但是它会生成一个编译错误(不能隐式转换类型.)。如果我使用猫继承的asbtract超类动物，它也不会起作用。但是，如果我用IAnimal替换为Cat它编译得很好。在我看来，因为Cat实现了IAnimal，所以第一
浏览 5提问于2011-06-01得票数 6
回答已采纳
，以使实现独立于源代码： val sourceReader: BaseSourceReader[BaseSource]) {[T <: BaseSource] { + abstract class BaseSourceReader[+T <: BaseSource] {
但这会导致readFromSource方法错误:协变类型T出现在值标识符的类型T中的逆变位置。我发现的</em
浏览 7提问于2017-07-13得票数 0
回答已采纳
给定：f: [F[_], A, B](x: F[A], y: F[B])F[B]
下面调用的输出类型如何计算为
浏览 17提问于2017-02-22得票数 0
2回答
C# 4.0进一步扩展了泛型类型和接口的协变和逆变。Object> list = new List<String>();我的意思是，如果List<T>实现了IEnumerable<T>，为什么List<T>仍然是不变的
浏览 0提问于2012-10-28得票数 14
回答已采纳
我的目标是实现一个谓词，该谓词检测嵌套using别名(或typedef)的存在，该别名充当轻量级标记，以指示类具有某些属性(用于泛型编程)。以下是Joel的has_my_tag<>实现struct enable_if_type { typedef R type; };：简化版是实现成语的一个可接受<em
浏览 1提问于2018-10-12得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
