小编Joh*_*son的帖子

如何在Java中编写正确的微基准测试?

你如何在Java中编写(并运行)正确的微基准测试?

我在这里寻找代码示例和注释,说明要考虑的各种事项.

示例:基准测量应该测量时间/迭代或迭代/时间,为什么?

相关:秒表基准可以接受吗?

java benchmarking jvm jvm-hotspot microbenchmark

835
推荐指数
11
解决办法
11万
查看次数

在网页中嵌入IRC客户端的最佳方法

我正在寻找一个好的,免费的,优选的开源,IRC客户端嵌入到网页中.

支持大多数浏览器的明显要求,如果需要插件,它应该是一个已经部署完全的插件,它不应该对服务于页面的Web服务器造成太大压力.

html irc

11
推荐指数
1
解决办法
2万
查看次数

HTML5 javascript库

我正在寻找有助于HTML5开发的JavaScript库.

请每个答案只发布一个图书馆,不要忘记描述它.

javascript html5

10
推荐指数
2
解决办法
1万
查看次数

实现关系代数的语言特性

我一直在尝试在Scala中对关系代数进行编码(据我所知,它具有最先进的类型系统之一)并且似乎找不到找到我想要的方法.

由于我不熟悉编程语言设计的学术领域,我真的不知道要寻找什么功能.

那么,为了实现静态验证的关系代数,需要哪些语言功能以及具有这些功能的语言?

一些要求:元组是一个函数,它将名称从有问题的元组的静态定义的有效名称集合映射到名称指定的类型的值.让我们调用这个名称类型设置域名.

Relation是一组具有相同域的元组,因此任何元组的范围在Set中都是唯一的

到目前为止,该模型可以简单地通过Scala建模

trait Tuple
trait Relation[T<Tuple] extends Set[T]
Run Code Online (Sandbox Code Playgroud)

Tuple中的vals,vars和defs是上面定义的名称类型集.但是在Tuple中应该有两个同名的defs.此外,vars和impure defs也应该受到限制.

现在是棘手的部分:

两个关系的连接是一种关系,其中元组的域是来自操作数元组的域的并集.这样只保留了具有相同的域的交集范围的元组.

def join(r1:Relation[T1],r2:Relation[T2]):Relation[T1 with T2]
Run Code Online (Sandbox Code Playgroud)

应该做的伎俩.

关系的投影是一种关系,其中元组的域是操作数元组域的子集.

def project[T2](r:Relation[T],?1):Relation[T2>:T]
Run Code Online (Sandbox Code Playgroud)

这是我不确定是否甚至可以找到溶剂的地方.你怎么看?定义项目需要哪些语言功能?

上面隐含的是API必须可用.层板和样板层是不可接受的.

orm dsl type-systems scala database-relations

9
推荐指数
1
解决办法
1209
查看次数

关系数据库的高效持久数据结构

我正在寻找可用于实现关系模型的持久性数据结构的材料.

坚持不可变数据结构的含义.

有人知道一些好的资源,书籍,论文等吗?

(我已经有了Purely Functional Data Structures这本书,这是我正在寻找的一个很好的例子.)

rdbms functional-programming relational immutability data-structures

8
推荐指数
2
解决办法
2384
查看次数

在为Microsoft SQL Server创建统计信息时,列顺序是否重要?

数据库引擎优化顾问建议为我们的一些查询创建一些统计信息.事实证明,其中一些是相同的,只是列顺序在CREATE STATISTICS命令中是不同的.例如:

CREATE STATISTICS [StatName1] ON [dbo].[table1]([column2], [column1])

CREATE STATISTICS [StatName2] ON [dbo].[table1]([column1], [column2])
Run Code Online (Sandbox Code Playgroud)

它们是相同的还是它们被区别对待?

沿着相同的行,我可以为给定的表组合CREATE STATISTICS命令吗?如果顾问在3个不同查询的同一列上推荐了3个不同的统计数据,我可以为所有3列执行单个创建命令,例如

CREATE STATISTICS [StatName1] ON [dbo].[table1]([column1], [column3])

CREATE STATISTICS [StatName2] ON [dbo].[table1]([column1], [column2])
Run Code Online (Sandbox Code Playgroud)

CREATE STATISTICS [StatName1] ON [dbo].[table1]([column1], [column2], [column3])
Run Code Online (Sandbox Code Playgroud)

谢谢

database sql-server statistics

3
推荐指数
1
解决办法
513
查看次数