2回答
下面的代码片段从借用来携带一个类型类字典和一个存在类型：module Experiment1 where
resultStr = show (Showable ()) -- "()"
是否可以编写一个能够将Showable构造函数(或任何其他存在类型的数据构造函数)作为参数的
浏览 23提问于2018-01-03得票数 1
回答已采纳
假设有两门课：
我希望Foo的抽象函数的参数类型与实现Foo的子类的类型相匹配(这样的类可以是Bar)。我以为我可以使用受约束的泛型类型，但我不知道如何约束该类型以匹配子类。
浏览 4提问于2016-10-16得票数 1
回答已采纳
1回答
我有一个处理大量计算的大型let块，我试图将它分解成较小的块，将其分解为函数。我需要将一个在开放对象上操作的函数传递给这些组件，并遇到以下简化代码中最好表达的烦恼： constraint 'a = < bar: string option;correctly inferred type of < bar : 'a; .. > -> < bar : 'a; qux : &#
浏览 1提问于2016-05-11得票数 3
回答已采纳
1回答
我有一个抽象的基类和几个派生自此的类。基类有一些构造函数--与所有约定相反--我很想使用这些构造函数。我现在正在编写一个扩展方法，它使用一个泛型类型参数。此类型是返回类型：现在，我想访问Baseclass的构造函数，例如：
var我知道，这可能是
浏览 1提问于2015-04-28得票数 0
回答已采纳
使用VHDL2008，有没有一种方法来定义一个具有泛型类型的抽象实体，该类型具有该类型的端口以及从该基类型派生的无约束数组或记录？T的数组(整数范围<>)；
T是任意的抽象基类型。挑战是如何插入T_VECTOR的定义，它依赖于T在引入T的泛型之后，但在需要T_VECTOR的
浏览 0提问于2013-05-28得票数 3
IsSuccessful { get; set; }public List<T> Data { get; set; }它对我使用的每一个自定义类型都很好与使用一个字段创建自定义类不同，我将创建类型字符串。但是，这样做会返回错误：“‘string”必须是具有公共无参数构造函数的
浏览 4提问于2014-08-19得票数 8
回答已采纳
Scala:可以将类型参数约束为非抽象的吗？其中T: Class //不确定在Scala中是否包含了T<：AnyRef其中T: struct
其中U: t//裸<e
浏览 0提问于2012-05-24得票数 3
回答已采纳
1回答
像Maybe (Lens' a b)这样的类型不能工作，因为位于Rank-2类型下，如果没有-XImpredicativeTypes扩展，就不能将它封装在类型构造函数中(在GHC中并不真正支持这种扩展)因此，给出一个道德上有类型的函数的最佳类型是什么？一种可能是将Maybe推迟
浏览 4提问于2017-01-07得票数 6
回答已采纳
2回答
首先考虑一个抽象数据类型的示例 | Node { left :: Tree a, right :: Tree a }
这种类型是抽象的，因为它使其结构的某些方面没有定义，由数据类型的用户提供。这是抽象
浏览 3提问于2016-04-29得票数 3
我想为类开发定义一个必须是强类型且只允许类型的方法。class Dev public static void Interview<T>(T target) where T : Dev} {
浏览 5提问于2022-06-01得票数 0
1回答
：case class A(t: Seq[String]) extends S { type T = Seq[String] }
我不明白这个编译错误:似乎没有使用证据
浏览 0提问于2014-10-10得票数 6
回答已采纳
5回答
实现类型推断
、、、
我在这里看到了一些关于静态类型与动态类型的有趣讨论。我通常更喜欢静态类型，因为编译类型检查，更好的文档化代码，等等。然而，我确实同意，如果以Java的方式完成它，它们确实会使代码变得混乱。因此，我即将开始构建我自己的函数式语言，类型推断是我想实现的事情之一。我确实理解这是一个很大的主题，我并不是试图创造一些以前没有做过的事情，只是基本的推理……
浏览 2提问于2009-01-06得票数 99
为什么我们不能实例化类型成员呢？在load方法中，类型参数MyComponents被实例化。SiteServiceApplicationLoader将MyComponents类型重写为_SiteApplicationComponents)。无论如何，编译器会给出以下错误：
Error:(13, 9) class type required but SimpleApplicationLoader.this.MyComponents foundnew MyComponents(context).applica
浏览 5提问于2016-11-16得票数 0
回答已采纳
1回答
(a -> b) -> b) -> aforall对check1的量化似乎是rank-1，这一点在ghci中得到了证实check1 ::(a -> b) -> b) -> a
我不明白为什么check1有rank-1类型签名，而uncheck1仍然保持rank-2类型签名。我将check1的类型签名读为“对于所有类型的b，接受a
浏览 1提问于2014-04-07得票数 4
回答已采纳
我得到了关于OCaml中的函数器的以下代码： sigis expected OrderedString.t but actually is string*)module A = struct
浏览 0提问于2013-07-22得票数 3
2回答
我有一个有类型约束的类：{{我想将数据管理器的公共函数抽象到一个接口中，这样我就可以使其可单元测试，并将实现与客户端代码解耦，而且因为公共函数返回T
浏览 1提问于2017-04-29得票数 0
1回答
许多约束看起来是结合在一起的。让我们把它们抽象出来。type MonadNumState a m = (MonadState a m, Num a)
MonadNumState只是一个约束同义词，所以我在每次使用时都能获得函数依赖的好处，并且可以很容易地将但是现在a已经不是函数依赖了。由于无法推断a，因此next实际上是不可用的。我能做什么?当然，我也可以使用类型族来代替。MonadState是<e
浏览 1提问于2013-06-06得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
