我有一个依赖于另一个接口的接口，它有一些依赖类型，但我不能让编译器约束相关函数中的类型 import Data.Vect
interface Distribution (0 event : Nat)如果我使用marginalise {marginal=Gaussian} {targets=1} model x，它会进行类型检查，但我不明白为什么这不是由类型签名决定的。我不认为我问的this qu同样的领域也适用于这里。
浏览 25提问于2021-08-07得票数 0
回答已采纳
公共证书颁发机构似乎总是包括基本约束扩展。为什么这是一种最佳做法？PKI签发在密钥使用列表中没有“证书签名”但缺乏基本约束扩展的终端实体证书的风险是什么？我读过https://www.ietf.org/rfc/rfc5280.txt的部分内容。据我所知，CA证书必须具有keyCertSign位和关键的基本约束扩展。我仍然想知道，用于TLS或代码签名的<
浏览 0提问于2021-09-07得票数 0
回答已采纳
如果我创建一个包含以下内容的签名文件，Intellisense会报错，编译器也会失败： abstract BoolA : bool
abstract
浏览 0提问于2013-02-16得票数 2
回答已采纳
我在试着写一个就地版本。就地速成很容易。通常，我们只需要一个可变的数组，我选择了Foreign.Marshal.Array。相反，经典的快速排序或sort在Data.List中的类型签名是Ord a => [a] ->
浏览 1提问于2013-02-03得票数 1
回答已采纳
函数的实现使用了具有以下签名的三个附加函数：getReservedSeatsFromDB，对这三个函数的签名进行重构，以便返回具有MonadIO约束的泛型类型，即
readReservationsFromDB :: (MonadIO m) => C
浏览 2提问于2017-11-20得票数 3
回答已采纳
1回答
构造Poly参数结构值
、、、
我想要创建一个基于另一个可切换其实现的结构的结构。F.add(x,y);end;
structure RaF = Useable(Rat);
我的想法是，我可以插入Field的实现(Reals或鼠，忽略低效率的实现)。
浏览 2提问于2013-10-24得票数 0
回答已采纳
2回答
我目前正在为ASP.NET 4.5中的LINQ查询设计一个过滤器。我检索两个不同表类型的不同IQueryable。我目前的实现如下： // this method stub doesn't work unfortunately
return nul
浏览 5提问于2017-12-20得票数 1
回答已采纳
我想要创建我自己的序列，我知道我必须遵守SequenceType协议。 return MyGenerator(total: 6)}如何确定在符合协议的同时需要实现哪些成员？但是，例如，dropLast(_:
浏览 2提问于2016-03-11得票数 3
回答已采纳
因此这两种方法具有相同的签名，但具有不同的约束但它们不能在单个类中定义，因为它们具有相同的签名。但在这种情况下，它们是相互排斥<em
浏览 0提问于2012-06-15得票数 8
回答已采纳
1回答
我目前正在使用Groovy为一个用Java编写的与数学相关的API开发一个DSL。Expression类有一个具有以下签名的方法：我们想要定义一个约束，它将只在以后进行评估。是否可以使用我们的==实现覆盖equals，使其不返回boolean，而返回Constraint
浏览 3提问于2016-04-26得票数 3
回答已采纳
1回答
我正在学习F#，我不明白在这种语言中类型推断和泛型是如何工作的。例如，我可以声明一个通用的min函数，并将它与不同类型的参数一起使用：letsmallestFloat = min 3.0 5.0type Point2D(x, y) =
浏览 2提问于2012-05-14得票数 3
回答已采纳
我正在尝试对进行模拟实现，而我恰好是在F#中这样做的。:用于约束的类型是密封的，这意味着约束只能由一种解决方案来满足。这一行试图实现，根据该页面，该页面在C#中具有以下签名：where TDerivedEntity : class, TEntity在F#
浏览 0提问于2014-05-14得票数 10
回答已采纳
2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。(虽然我可以制作只提供签名的type模块。)
如果是，为什么？OCaml的类型系统似乎与Haskell并没有那么大的不同。
浏览 2提问于2011-05-14得票数 38
回答已采纳
我需要为带有类型类约束的函数签名生成代码，例如：我使用以下签名构造函数：所以我需要生成一个类型。我的最佳猜测是使用以下构造函数：它对应于以下声明(如中所示)：但是Cxt只是Type列表的同义词，我找不到合适<e
浏览 0提问于2018-06-18得票数 3
回答已采纳
3回答
ISquarredMetersBased, new() // Some stuff当我调用new SquarredKilometers(10).Convert()时，会出现一个错误，说明上述两个函数之间的调用是不明确的SquarredKilometers类实现ISquarredMetersBased接口。
编辑：所以这似乎是正常的。这个精确的问题有什么解决办法吗？(接口实现)
浏览 4提问于2012-10-18得票数 3
array[1..budget] of int: c;
constraint forall(i in 1..budget)(c[i]=cost(x[i],y[i])); Minizinc有一个约束的类型错误报告:找不到具有此签名的函数或谓词：‘`cost(var int，var int)’。如何使用x，y将数组开销中的值赋给数组c？
浏览 28提问于2020-03-30得票数 1
我想要创建一个具有签名的泛型函数：void funcName<T>()，在这里，T必须是我想要的特定接口的实现。怎样做这样的检查？如何传递到实现certan接口的泛型函数类类型？public interface IofMine {}，并尝试创建一个类似于public static void funcName<T>() where T : IofMine { var a = new T}的函数，
浏览 4提问于2012-07-23得票数 3
回答已采纳
我有一个用例，可以将电子签名与某个机密客户的现有应用程序集成起来。
问题是:这些默认签名“数字签名”是否涉及PKI证书？
浏览 1提问于2020-05-20得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
