幻影types背后的动机?

Don Stewart的Haskell在大型演讲中提到幻影types : data Ratio n = Ratio Double 1.234 :: Ratio D3 data Ask ccy = Ask Double Ask 1.5123 :: Ask GBP 我读了他的关于他们的子弹点,但我不明白他们。 另外,我读了关于这个主题的Haskell Wiki 。 但是我仍然错过了他们的观点。 什么是使用幻影types的动机?

什么时候应该在酶/反应testing中使用渲染和浅层?

在发布这个问题之前,我试图在sqa stackexchange中进行search,但是我没有发现关于浅度和渲染的post,所以我希望有人能够帮助我。 什么时候应该使用浅层渲染testing反应组件? 基于airbnb文档,我对这两者的区别提出了一些看法: 由于浅层是将组件作为一个单元进行testing,因此它应该用于“父”组件。 (例如表格,包装等) 渲染是针对子组件的。 我问这个问题的原因是我很难弄清楚我应该使用哪一个(虽然文档说他们非常相似) 那么,我怎么知道在一个特定的场景中使用哪一个呢?

你如何创build一个带有可变参数列表的仅debugging函数? 像printf()

我想使用与printf相同的参数进行debugging日志loggingfunction。 但是可以在优化版本中被预处理器删除。 例如: Debug_Print("Warning: value %d > 3!\n", value); 我已经看过可变macros,但是这些在所有平台上都不可用。 gcc支持他们, msvc不。

有没有更好的方法来修剪date时间到一个特定的精度?

将DateTime对象修剪为特定精度的最佳方法是什么? 例如,如果我有一个值为'2008-09-29 09:41:43'的DateTime,但是我只希望精确到一分钟,有没有比这更好的方法来做到这一点? private static DateTime TrimDateToMinute(DateTime date) { return new DateTime( date.Year, date.Month, date.Day, date.Hour, date.Minute, 0); } 我真正想要的是使其变化,以便我可以将其精度设置为秒,分,小时或日。

如何在C#中使用这些部分可靠地build立一个URL?

我一直觉得自己在重新发明轮子,所以我想我会问这里的人群。 想象一下,我有这样的代码片段: string protocol = "http"; // Pretend this value is retrieved from a config file string host = "www.google.com"; // Pretend this value is retrieved from a config file string path = "plans/worlddomination.html"; // Pretend this value is retrieved from a config file 我想build立url“ http://www.google.com/plans/worlddomination.html ”。 我一直这样写这样的俗气的代码: protocol = protocol.EndsWith("://") ? protocol : protocol […]

以编程方式将证书安装到Mozilla

有没有办法以编程方式将证书安装到Mozilla中? 我们试图编写一切脚本来消除环境中的偏差,所以通过mozilla首选项手动安装它并不适合我们的需求。 我认为用certutil做到这一点,但我不确定Mozilla的内部等等。

Intellij Idea:突出使用插入符号处的元素。 换颜色

我刚刚打开了“突出插入元素的用法”。 (设置 – >编辑器)。 但是默认颜色是淡蓝色。 我真的很喜欢这个突出更大胆,更容易看到。 我无法在颜色菜单中find选项。 这可能吗?

Java用户.home被设置为%userprofile%而不被parsing

我们公司最近从Windows XP升级到Windows 7 Enterprise。 JDK安装不再将user.home设置为用户目录的完整path,而是将user.home设置为%userprofile% 。 这导致了很多与Eclipse,Maven等应用程序有关的问题。我现在必须在每个应用程序的JVM中设置-Duser.home。 有没有人经历过这个? 有没有解决这个问题? 这是否与Windows 7 Enterprise的安装有关? 我已经尝试了1.5 JDK和1.6 JDK。 这是属性列表。 注意user.home: — listing properties — java.runtime.name=Java(TM) SE Runtime Environment sun.boot.library.path=C:\Program Files\Java\jre6\bin java.vm.version=16.0-b13 java.vm.vendor=Sun Microsystems Inc. java.vendor.url=http://java.sun.com/ path.separator=; java.vm.name=Java HotSpot(TM) Client VM file.encoding.pkg=sun.io user.country=US sun.java.launcher=SUN_STANDARD sun.os.patch.level= java.vm.specification.name=Java Virtual Machine Specification user.dir=C:\Users\politesp\Desktop java.runtime.version=1.6.0_18-b07 java.awt.graphicsenv=sun.awt.Win32GraphicsEnvironment java.endorsed.dirs=C:\Program Files\Java\jre6\lib\endorsed os.arch=x86 java.io.tmpdir=C:\Users\politesp\AppData\Local\Temp\ line.separator= java.vm.specification.vendor=Sun Microsystems […]

我怎样才能学会创造美丽的图表(连接到我的R知识)?

我是一个忠诚的R(r-project.org)用户,并喜欢信息图表。 我刚刚遇到这篇文章: http : //www.noupe.com/design/fantastic-information-architecture-resources.html 给信息devise者一个长长的资源清单。 这让我想起了做更美丽(而不仅仅是信息量)的R地块的愿望。 你有什么build议/资源如何使这个飞跃? 为了能够制作精美的图表,我需要开发哪些书籍/软件/技能?

Ruby on Rails:在模型或数据库中validation会更好吗?

在模型或数据库定义中validation属性是否通常是更好的实践(以及为什么)? 对于(一个微不足道的)例子: 在用户模型中: validates_presence_of :name 与迁移相比: t.string :name, :null => false 一方面,将其包含在数据库中看起来更能保证不会有任何types的不良数据被偷偷地进入。另一方面,将它包含在模型中使得事物更透明,更易于理解,其余的validation。 我也考虑过这两种做法,但这看起来既不干又不可维护。