-
coq – 依赖类型：向量向量
所属栏目：[程序设计] 日期：2020-05-23 热度：120
我是依赖类型的新手(尽管他们有很大的不同,我正在尝试Idris和Coq). 我试图表达以下类型：给定类型T和k nats n1,n2,… nk的序列,由k个k序列组成的类型,其长度分别为n1,n2,… nk. 即,k个矢量的矢量,其长度由参数给出. 这可能吗？ 您可以使用异构列表执行此操作,[详细]
-
WPF中的自定义依赖项属性和TwoWay绑定
所属栏目：[程序设计] 日期：2020-05-23 热度：159
我们有一个派生自DependencyObject的对象,并实现了一些DependencyProperties. 基本上是这样的： class Context : DependencyObject { public static readonly DependencyProperty NameProperty = DependencyProperty.Register (Name,[详细]
-
在不存在的依赖项上安装R on RedHat错误
所属栏目：[程序设计] 日期：2020-05-23 热度：200
我之前在运行RedHat EL6.5的机器上安装了R,但最近我在安装新软件包时遇到了问题(即install.packages()).由于我找不到解决方案,我尝试使用以下方法重新安装R： sudo yum remove R 和 sudo yum install R 但现在我得到： ....--- Package R-core-devel.x86_64 0[详细]
-
单元测试 – 如果修复涉及更改测试签名下的方法,如何使用TDD？
所属栏目：[程序设计] 日期：2020-05-23 热度：53
我试图了解TDD方法并且遇到 – 我认为是 – 鸡和鸡蛋问题：如果错误修复涉及更改方法的签名该怎么办. 请考虑以下方法签名： string RemoveTokenFromString (string delimited, string token) 顾名思义,此方法从分隔中删除令牌的所有实例,并返回结果字符串. 我[详细]
-
如果元组具有相同的第一个元素,如何聚合元组列表的元素？
所属栏目：[程序设计] 日期：2020-05-23 热度：122
我有一个列表,其中每个值是一个元组列表.例如,这是我为密钥提取的值： [(1998-01-20,8) , (1998-01-22,4) , (1998-06-18,8 ) , (1999-07-15 , 7), (1999-07-21,1) ] 我也对列表进行了排序. 现在我想聚合这样的值： [(1998-01 , 12 ) , (1998-06 ,8 ) , (19[详细]
-
你有TDD进行调试吗？
所属栏目：[程序设计] 日期：2020-05-23 热度：100
我知道TDD上有很多东西,我也试图接受这种做法. 但我想知道TDD你的错误修复是一个好主意吗？ 我正在考虑找到这个bug并将其缩小. 编写单元测试以确保它现在可以传递它先前引起的任何问题. 为其他易碎条件写更多单元测试. 最后编写单元测试来测试集成测试,因为我[详细]
-
是否可以从聚合工厂调用规范进行验证,或者该验证调用是否属于单元测试(DDD)？
所属栏目：[程序设计] 日期：2020-05-23 热度：134
我创建了一个工厂和一组规范来创建和验证聚合根.目前我对工厂进行了一些测试,这些测试称工厂的产品规格,但我想知道这是否足够.从设计的角度来看,将工厂与其产品的规格相结合可能会更好,因为它们密切相关. 如果聚合根产品的规范用于验证而不是用于创建,那么从[详细]
-
.net – 指定的依赖关系是X但最终得到Y.
所属栏目：[程序设计] 日期：2020-05-23 热度：163
我已经将类库的project.json更新为目标netstandard1.3和net64. 随着这种变化： $dotnet restorelog : Restoring packageswarn : Dependency specified was NETStandard.Library (= 1.3.0) but ended up with NETStandard.Libr[详细]
-
如何使用依赖项分发“静态编译”的Python应用程序
所属栏目：[程序设计] 日期：2020-05-23 热度：197
我有一个基于 Python的应用程序. 我想将此应用程序分发给不同操作系统(主要是Linux,但各种发行版)的用户. 这样做的推荐方法是什么？我不希望用户必须安装Python.我想用应用程序(这是免费软件)分发Python.有点像一个静态编译的程序. 因此,整个应用程序的安装只[详细]
-
将依赖项迁移到Android Jetpack
所属栏目：[程序设计] 日期：2020-05-23 热度：110
所以我一直在将我的依赖项从支持库迁移到jetpack映射,如 this link所述. 我现在在构建我的应用程序时遇到错误,让我一无所知.我不知道是什么导致这个错误导致它看起来像生成的资源. 错误是： Android resource linking failedOutput: C:UsersRubenDocumentsBow[详细]
-
在Qt Creator中自动重建依赖项
所属栏目：[程序设计] 日期：2020-05-23 热度：183
Qt Creator(4.6.1)让我疯狂.我的申请分为3部分： 该应用程序 图书馆 一个单元测试应用程序 当我更改库中的文件并重建应用程序时,编译器不会重新编译库,而是链接到旧版本的库. 此外,当我更改库,重新编译它然后编译应用程序时,不会进行编译,因为它使用缓存的应[详细]
-
erlang – 在Elixir伞应用程序中,应该将logger后端应用程序添加为依赖项？
所属栏目：[程序设计] 日期：2020-05-23 热度：125
我有一个Elixir伞形应用程序.伞下的应用程序使用 Logger.我想为：logger应用程序添加后端( logger_logstash_backend).所以,我需要在混合文件中添加它作为deps函数的依赖项. 在伞形应用程序的最外层混合文件中,deps函数的文档说明： Dependencies listed here[详细]
-
安装ScientificPython作为依赖项
所属栏目：[程序设计] 日期：2020-05-23 热度：146
我试图在我的setup.py中列出 ScientificPython作为依赖项.但是,在安装过程中,python似乎找不到包.我的做法有什么问题？ 这是我的设置： import setuptoolssetuptools.setup(name = MyPack, version = 0.1, description= Description., author = Me,[详细]
-
域驱动设计 – DDD – 什么是复杂域？
所属栏目：[程序设计] 日期：2020-05-23 热度：86
人们常说DDD(域驱动设计)更适合复杂域而不是简单域. 复杂域名的特征是什么？ (请比“它有复杂的业务规则”更具体); 哪些是复杂域名的例子？ 如何将域分类为复杂(即适用于DDD)？ 根据我的经验3,最重要的是让您的域名变得复杂： 尺寸 大域往往会增加复杂性.处理[详细]
-
如何在Sklearn管道中进行Onehotencoding
所属栏目：[程序设计] 日期：2020-05-23 热度：169
我正在尝试oneHotEncode我的Pandas数据帧的分类变量,其中包括分类和连续变量.我意识到这可以通过pandas .get_dummies()函数轻松完成,但我需要使用管道,以便稍后我可以生成PMML文件. 这是创建映射器的代码.我想编码的分类变量存储在名为“dummies”的列表中. f[详细]
-
聚合Python字典的布尔值的最佳方法是什么？
所属栏目：[程序设计] 日期：2020-05-23 热度：175
对于以下 Python字典： dict = { stackoverflow: True, superuser: False, serverfault: False, meta: True,} 我想将上面的布尔值聚合到以下布尔表达式中： dict[stackoverflow] and dict[superuser] and dict[ser[详细]
-
单元测试 – 编辑触发测试是下一步吗？
所属栏目：[程序设计] 日期：2020-05-23 热度：155
我刚刚阅读了Michael C. Feathers的精彩书籍 Working Effectively with Legacy Code,这是对遗留代码进行测试的圣经.在本书中,他描述了一种称为编辑触发测试的东西： If it isn’t out by the time this book is released, I suspect that someone will soon d[详细]
-
f# – 模块的循环依赖
所属栏目：[程序设计] 日期：2020-05-23 热度：108
我想在F#中编写一个解析器,因为我必须使用Antlr.这意味着我必须为每个要解析的AST节点定义一个Visitor类.现在我遇到的问题是存在一些循环依赖的规则,例如： boolExpr : boolTerm or boolTerm ;boolTerm : boolAtom and boolAtom ;boolAtom : ( boolExpr ) | .[详细]
-
单元测试 – 在测试夹具中创建相互依赖的测试是不是一个坏主意？
所属栏目：[程序设计] 日期：2020-05-23 热度：190
例如： // NUnit-like pseudo code (within a TestFixture)Ctor(){ m_globalVar = getFoo();}[Test]Create(){ a(m_globalVar)}[Test]Delete(){ // depends on Create being run b(m_globalVar)} … 要么[详细]
-
用于按规范值管理科学数据依赖图的python解决方案
所属栏目：[程序设计] 日期：2020-05-23 热度：191
我有一个科学的数据管理问题似乎很普遍,但我找不到现有的解决方案甚至是它的描述,我一直很困惑.我即将开始重大改写( python),但我认为我最后一次为现有的解决方案投了一个,所以我可以废弃自己的并回到生物学,或者至少学习一些合适的语言以获得更好的谷歌搜索.[详细]
-
如何在不使用特定于Jasmine的inject()的情况下将依赖项注入AngularJS控制器测试
所属栏目：[程序设计] 日期：2020-05-23 热度：169
我试图将我的大脑包裹在AngularJS中的依赖注入中.让我们说这是我非常激动人心的应用程序代码： function PrideRockCtrl($scope, King) { $scope.king = King;}angular.module(Characters, [ngResource]) .factory(King, function() { retur[详细]
-
依赖注入 – Sharepoint 2010中的依赖注入
所属栏目：[程序设计] 日期：2020-05-23 热度：106
我正在研究我的第一个sharepoint项目.有没有办法在sharepoint中使用依赖注入(如城堡windsor)？ 如果是这样,请提供一个代码. 谢谢 使用MS Patterns amp;中的SharePoint Service Locator.实践组： http://spg.codeplex.com/[详细]
-
具有依赖关系的C队列
所属栏目：[程序设计] 日期：2020-05-23 热度：155
我正在寻找具有各个任务之间依赖关系的排队/调度系统的原型或实现.更具体： task_0,task_1,task_2,…任务10到达队列.任务是http请求. 我想仅在task_0完成时才发送task_2. task_1可以毫无期待地发送 task_1完成但task_2必须等待. 想法？已存在且符合此描述的模[详细]
-
依赖注入 – 从ASP.NET核心依赖注入中获取ClaimsPrincipal或ClaimsIdentity
所属栏目：[程序设计] 日期：2020-05-23 热度：142
我有一个将ClaimsIdentity作为依赖项的类,如下所示： public ClaimsIdentityDecorator(ClaimsIdentity identity) 这应该是当前用户的Claimsidentity.我通过IHttpContextAccessor检索它,如下所示： services.AddScoped( x={ var context = x.GetServ[详细]
-
单元测试 – 如何测试依赖注入？
所属栏目：[程序设计] 日期：2020-05-23 热度：192
依赖注入可以帮助您很好地对代码进行单元测试.但是我们如何测试是否在运行时最终注入了正确的依赖项？例如,我有一个服务类,它接收服务验证器列表.由于验证器列表是由DI容器注入的,我们如何确保注入正确的验证器？如果某些开发人员错误地从列表中删除了验证器,[详细]
浙公网安备 33038102330553号