小编Bar*_*own的帖子

在标准ML中抑制"val it"输出

我正在标准ML(SML/NJ)中编写一个"脚本",根据自己的喜好设置交互式环境.脚本做的最后一件事是打印出一条消息,表明一切顺利.基本上,最后一行是这样的:

print "SML is ready.\n";
Run Code Online (Sandbox Code Playgroud)

当我运行脚本时,一切顺利,但SML解释器显示print函数的返回值.

SML is ready.
val it = () : unit
-
Run Code Online (Sandbox Code Playgroud)

由于我只是在屏幕上打印一些东西,我怎么能抑制"val it =():unit"输出,这样我所看到的就是"SML就绪"消息,然后是解释器提示符?

sml smlnj

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

需要实现集合操作的C库

我正在寻找一个实现集合操作的C库(而不是C++).我需要支持以下操作:

  • 路口
  • 联盟
  • elementOf
  • isSubset
  • 插入(添加到设置)
  • 克隆
  • 等于

我可以只使用libc二叉树例程吗?

c set

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

Eclipse可以动态评估表达式吗?

在某些Java IDE(例如BlueJ和DrJava)中,用户可以打开一个可以输入Java表达式和语句的交互窗口.IDE可以快速编译并运行代码,并在必要时显示返回的值.

在BlueJ中,它被称为Code Pad.它与DrRacket/DrScheme中的交互窗格的精神相似.

Eclipse中是否存在类似的内容?

java eclipse bluej

9
推荐指数
2
解决办法
6186
查看次数

ANTLR AST规则因RewriteEmptyStreamException而失败

我有一个简单的语法:

grammar sample;
options { output = AST; }
assignment
    : IDENT ':=' expr ';'
    ;
expr    
    : factor ('*' factor)*
    ;
factor
    : primary ('+' primary)*
    ;
primary
    : NUM
    | '(' expr ')'
    ;
IDENT : ('a'..'z')+ ;
NUM   : ('0'..'9')+ ;
WS    : (' '|'\n'|'\t'|'\r')+ {$channel=HIDDEN;} ;
Run Code Online (Sandbox Code Playgroud)

现在我想添加一些重写规则来生成AST.从我在网上阅读的语言模式书中,我应该能够像这样修改语法:

assignment
    : IDENT ':=' expr ';'   -> ^(':=' IDENT expr)
    ;
expr    
    : factor ('*' factor)* -> ^('*' factor+)
    ;
factor  
    : primary ('+' primary)* -> ^('+' primary+)
    ; …
Run Code Online (Sandbox Code Playgroud)

parsing antlr

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

CUDA C最佳实践:unsigned vs signed optimization

CUDA C最佳实践指南中,有一小部分关于使用有符号和无符号整数.

在C语言标准中,无符号整数溢出语义被很好地定义,而有符号整数溢出导致未定义的结果.因此,编译器可以使用带符号算法比使用无符号算法更积极地进行优化.循环计数器特别注意这一点:因为循环计数器通常具有始终为正的值,所以将计数器声明为无符号可能很有吸引力.但是,为了稍微提高性能,应将它们声明为signed.

例如,请考虑以下代码:

    for (i = 0; i < n; i++) {  
         out[i] = in[offset + stride*i];  
    }

这里,子表达式stride*i可以溢出32位整数,因此如果i被声明为无符号,溢出语义会阻止编译器使用可能已经应用的某些优化,例如强度降低.如果我声明为signed,那么溢出语义是未定义的,编译器有更多的余地来使用这些优化.

前两句特别让我感到困惑.如果未定义的值的语义被很好地定义并且有符号的值可以产生未定义的结果,那么编译器如何为后者生成更好的代码呢?

c cuda

8
推荐指数
1
解决办法
2324
查看次数

如何以特定大小启动Quicktime X屏幕录制

在Quicktime Player X中,当您想要开始屏幕录制时,您可以录制整个屏幕或拖动以选择区域.在后一种情况下,如果你想要一个特定的尺寸(例如,1280x720),你可以做的最好就是在拖动鼠标时猜测.

我可以使用AppleScript告诉Quicktime Player选择特定的区域大小吗?我很乐意手动将它拖到最终位置,但如果我至少可以自动完成最初指定区域大小的部分,我会很高兴.

这可能吗?我从哪里开始寻找文档?

applescript quicktime

7
推荐指数
0
解决办法
1621
查看次数

我是否需要在DynamoDB上使用EC2?

我无法在Amazon DynamoDB文档中找到这个问题的答案,所以我很抱歉在这里提出这样一个基本问题:

我可以从自己的Web服务器访问DynamoDB,还是需要使用EC2实例?

除了明显更高的延迟,使用我自己的服务器时是否有任何安全或性能方面的考虑?

amazon-web-services amazon-dynamodb

6
推荐指数
1
解决办法
3239
查看次数

如何防止两个CUDA程序干扰

我注意到如果两个用户同时尝试运行CUDA程序,它往往会锁定卡或驱动程序(或两者兼而有之?).我们需要重置卡或重启机器以恢复正常行为.

有没有办法锁定GPU,以便其他程序在运行时不会干扰?

编辑

操作系统是在服务器上运行的Ubuntu 11.10.虽然没有运行X Windows,但该卡用于显示文本系统控制台.有多个用户.

cuda locking nvidia

6
推荐指数
1
解决办法
4525
查看次数

按值排序的Map <K,V>的前N个值

我有一个字符串列表.我想基于返回double的函数来评估每个字符串.然后我想要前5个字符串,基于他们的计算值.如果少于5,我想要所有这些(按顺序).假设字符串是化学化合物,函数计算质量.该功能在计算上很昂贵; 我需要每串评估一次.(不过我只是在这里编制数据.)

H2O => 18.5
C12H11O22 => 109.1
HeNe => 32.0
H2SO4 => 54.37
HCl => 19.11
4FeO3 => 82.39
Xe6 => 281.9
Run Code Online (Sandbox Code Playgroud)

程序应返回按其各自值排列的前五个字符串.对于此示例数据:H20, HCl, HeNe, H2SO4, 4FeO3.实际上,我并不关心订单; 我只需要任何顺序的五个最低点.

我想过如何在Perl中做到这一点.这只是几行:

foreach $s (@str) {
    $strmap{$s} = f($s);
}
@sorted = sort { $strmap{$a} <=> $strmap{$b} } keys %strmap;
return @sorted[0, 4]
Run Code Online (Sandbox Code Playgroud)

但我需要用Java来做.这让我发疯了.

首先,我尝试填充a HashMap<String, Double>,然后使用Collections.sort自定义比较器,就像Perl版本一样.但是比较器的范围使它无法引用HashMap来查找值.

然后我尝试了一个TreeMap<String, Double>,但它只按键进行排序,没有任何强制可以让它按值排序.

所以我试了一下TreeMap<Double, String>.它将丢弃具有相同Double的条目.但是,将字符串映射到同一个Double的可能性很低,所以我向前推进.将条目添加到TreeMap没有问题,但是我试图从中提取值时遇到了问题.

TreeMap提供了一个名为的方法subMap,但其参数是用于分隔子集的键.我不知道它们是什么; 我只想要前五个.所以我尝试使用该values方法从TreeMap中获取所有值,希望它们按顺序排列.然后我就可以获得前十名.

ArrayList<String> strs = (ArrayList<String>)(treemap.values());
return new …
Run Code Online (Sandbox Code Playgroud)

java sorting hashmap treemap

6
推荐指数
1
解决办法
1903
查看次数

Eclipse:要存储在GWT项目的版本控制中的文件

我正在Eclipse中使用Mercurial进行GWT项目以进行版本控制.

我应该在版本控制下存储哪些文件?或者,或许更简洁,我应该存储哪些文件,因为它们是GWT的一部分或者是构建过程的工件?

我正在使用Eclipse Helios和GWT 2.0.4.此问题适用于任何版本控制系统:Mercurial,Subversion(SVN),CVS等.

eclipse version-control mercurial gwt

5
推荐指数
1
解决办法
637
查看次数