问题列表 - 第26720页

如何访问另一个.ml文件中的一个.ml文件中定义的类型

在a.ml中,定义记录类型t,并且也在a.mli中透明地定义,即在d接口中,以便类型定义可用于所有其他文件.

a.ml还有一个函数func,它返回一个t列表.

现在在另一个文件中,b.ml即可调用func,现在很明显ocaml编译器wud nt能够推断存储在d列表中的d类型的对象,对于编译器来说它只是一个列表.所以在b.ml中,我喜欢dis,

let tlist = A.func in
let vart = List.hd tlist in
printf "%s\n" vart.name     (*name is a field in record t*)
Run Code Online (Sandbox Code Playgroud)

现在我在这里得到一个编译器错误,说"未绑定记录字段标签名称",这是有道理的,因为编译器无法推断d类型的镖.

我的第一个问题:如何在这里明确提供d型镖?我试着做"让vart:At ="但是得到了同样的错误.

我还尝试创建另一个函数来获取d列表的第一个元素并将返回类型提到At,但后来我得到了"Unbound value At".我这样做了:

let firstt = function
     [] -> 0
   | x :: _ -> A.t x ;;
Run Code Online (Sandbox Code Playgroud)

问题是编译器无法识别b.ml中的At(a type)但是能够识别函数A.func.如果我从b.ml中删除At,我不会遇到任何编译器错误.

ocaml

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

我从哪里开始分布式计算?

我对学习分布式计算技术感兴趣.作为Java开发人员,我可能愿意从Hadoop开始.你能推荐一些书籍/教程/文章吗?

hadoop mapreduce distributed-computing

13
推荐指数
1
解决办法
1642
查看次数

java.lang.exception没有runnable方法junit

我有一个套件,我在其中添加了测试类.我正在使用surefire来运行我的JUnits.我的测试类以测试结束,方法有@test注释.

如何解决这个问题?

eclipse junit

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

匹配包含特定字符串的任何单词

对于这篇文章的标题不好,我提前道歉。

我正在尝试匹配包含特定字符串的任何单词,即如果我想匹配包含字符串“press”的任何单词,那么我希望从我的搜索中返回以下内容,

  • 表达
  • 沮丧
  • 压力

到目前为止我有这个 /press\w+/匹配单词和任何后续字符,但我不知道如何获取前面的字符。

非常感谢

javascript regex

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

为什么SQL Server认为N'㐢㐢㐢'和N'㐢㐢'相等?

我们正在测试我们的Unicode兼容性应用程序,并且一直在选择拉丁字符集之外的随机字符进行测试.

在拉丁文和日文整理的系统中,以下相等是正确的(U + 3422):

N'????' = N'???'
Run Code Online (Sandbox Code Playgroud)

但以下不是(U + 30C1):

N'????' = N'???'
Run Code Online (Sandbox Code Playgroud)

当使用第一个示例(使用U + 3422)的测试用例违反唯一索引时,会发现这种情况.我们是否需要对我们用于测试的角色更具选择性?显然我们不知道上述比较的语义含义.这种行为对于母语人士来说是否明显?

sql-server unicode

14
推荐指数
2
解决办法
972
查看次数

在网页上加载/显示大量数据

我有一个网页,其中包含一个用于显示大量数据的表(平均2,000到10,000行).此页面需要很长时间才能加载/渲染.这是可以理解的.

问题是,当页面正在加载PC内存使用量猛增时(iexplorer正在使用我的测试系统上500mb)并且整个PC停止运行直到它完成,这可能需要一两分钟.IE挂起直到它完成,切换到另一个正在运行的程序是相同的.

我需要解决这个问题 - 理想情况下我想完成两件事:

1)单独加载页面的各个部分.因此,页面最初可以在没有大数据表的情况下呈现.装载div将放在那里直到准备好.

2)渲染时不要耗费太多内存或本地资源 - 所以至少他们可以同时使用不同的选项卡/应用程序.

我将如何进行这两者或其中任何一项?

我是一名交易应用程序员,因此我对在Web环境中可以做的事情仍然有点不知所措.

干杯全都.

html javascript jquery pagination

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

在Ruby中,为什么inspect()会打印出某种与object_id()不同的对象id?

当该p函数用于打印出一个对象时,它可能会给出一个ID,它与object_id()给出的不同.不同数字的原因是什么?

更新: 0x4684abc不同于36971870,是0x234255E

>> a = Point.new
=> #<Point:0x4684abc>

>> a.object_id
=> 36971870

>> a.__id__
=> 36971870

>> "%X" % a.object_id
=> "234255E"
Run Code Online (Sandbox Code Playgroud)

ruby object object-identity

30
推荐指数
1
解决办法
6702
查看次数

jQuery插入元素和覆盖

要清空div并将其替换为我正在使用的图像:

$(this).html('');
$('<img/>', {
   src: 'blah.gif'
}).appendTo(this);
Run Code Online (Sandbox Code Playgroud)

有一个更好的方法吗?

*编辑:我必须保持$('<img/>'部分,否则我可以做$(this).html('<img src="blah.gif">');我知道!

javascript jquery

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

我可以渲染:部分视图没有前导下划线?

我在这里面临着不稳定的状况.我需要部分呈现一个没有前导下划线的页面.

<%= render(:partial => "contact" ,:controller=>"home") %>
Run Code Online (Sandbox Code Playgroud)

这将寻找

app/views/home/_contact.html.erb
Run Code Online (Sandbox Code Playgroud)

但我想要它寻找

app/views/home/contact.html.erb
Run Code Online (Sandbox Code Playgroud)

有没有办法做到这一点.

谢谢

ruby-on-rails

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

如何使用Mysql PHP函数从Mysql DB中获取前2行或3行?

如何使用Mysql PHP函数从Mysql DB中获取前两行?是否有任何函数可以从我们触发的select查询中给出前2行或3行?

php mysql

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