问题列表 - 第44126页

为什么要求OCaml中的相互递归模块中的签名?

在OCaml中使用相互递归的模块定义时,即使在.ml文件中也必须提供签名.这是一个烦恼,我也希望从中公开给定的接口.mli,因为我最终重复签名两次.:(!

module rec Client : sig
  type ('serv,'cli) t

  (* functions ... *)
end = struct
  type ('serv,'cli) t =
    { server: ('serv,'cli) Server.t
    ; (* other members ... *)
    }
end
and Server : sig
  type ('serv,'cli) t

  (* functions ... *)
end = struct
  type ('serv,'cli) t =
    { mutable clients: ('serv,'cli) Client.t list
    ; mutable state: 'serv
    }

  (* functions again ... *)
end
Run Code Online (Sandbox Code Playgroud)

这是我正在做的粗略近似(Client类型对象知道Server实例化它们Server.s知道它们的Clients). …

ocaml module mutual-recursion

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

iOS中是否有POP/IMAP API?

在我的应用程序中,我需要以编程方式访问邮件而不使用MFMailComposeViewController.我SKPSMTPMessage在谷歌代码的帮助下发送了电子邮件.现在我必须通过POP3或IMAP连接和检查邮件.是否有使用POP3或IMAP下载邮件的API?我不是在寻找与Mail.app接口的方法.

提前致谢.

pop3 imap objective-c ios

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

将任意键/值对与Postgres DB中的表行相关联的最佳方法?

对于Postgres 8.4 DB,我有一个非常完美的关系数据模式,但是我需要能够将任意键/值对与我的几个表相关联,分配的键按行变化.键/值对是用户生成的,因此我无法提前预测它们或纠缠有序的架构更改.

我有以下要求:

  • 键/值对将经常被读取,偶尔写入.读取必须相当快.
  • 否(当前)需要查询键或值.(但有一天它可能会派上用场.)

我看到以下可能的解决方案:

  1. 实体-属性-值 模式/反模式.烦人,但烦恼一般会被我的ORM所抵消.
  2. 将键/值对存储为文本列上的序列化JSON数据.一个简单的解决方案,ORM再次派上用场,但我可以亲吻未来自己对查询的需求再见.
  3. 在其他NoSQL数据库中存储键/值对 - 可能是键/值或文档存储.ORM在这里没有帮助.我自己必须管理单独的查询(以及迫在眉睫的数据完整性问题?).

我担心查询性能,因为我希望有一天会有很多这些.我也关心程序员的表现,因为我必须构建,维护和使用这些东西.这里有明显的最佳方法吗?或者我错过了什么?

postgresql performance database-design key-value entity-attribute-value

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

无法加入mysql删除查询工作

我知道有不止一个问题符合这一点,但我对mysql相对较新,而且我似乎无法使用子任务或USING关键字来完成这项工作,而且我找到了mysql on line docs a完全神秘.

我开始尝试使用SELECT查询作为我的基础构建我的DELETE查询,并且能够获取我想要删除的所有行:

select *
from writings_tags_link
join writing_tags on writing_tags.id = writings_tags_link.tag_id
where writing_tags.tag = 'tag one'
Run Code Online (Sandbox Code Playgroud)

然后用DELETE替换select all,所以:

delete
from writings_tags_link
join writing_tags on writing_tags.id = writings_tags_link.tag_id
where writing_tags.tag = 'tag one'
Run Code Online (Sandbox Code Playgroud)

我从错误消息和其他类似的帖子中收集到你不能使用'ON'来连接删除查询中的表,你必须使用USING或子查询.我使用USING构建的查询返回一个非常奇怪的错误,首先是查询:

DELETE
FROM writings_tags_link
USING writing_tags_link INNER JOIN writing_tags  
WHERE writing_tags.id = writings_tags_link.tag_id 
AND writing_tags.tag ='tag one'
Run Code Online (Sandbox Code Playgroud)

错误:

#1109 - Unknown table 'writings_tags_link' in MULTI DELETE
Run Code Online (Sandbox Code Playgroud)

这个表确实存在,显然,我原来的select查询返回了所需的结果.任何帮助/解释都会非常感激!

请记住,我只是想删除链接表中的数据.

mysql sql join sql-delete

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

将DOM元素包装在JavaScript对象中

我已经注意到我一直在编写的JavaScript中的一个常见模式,并且想知道是否已经存在一种类似于最佳实践的模式?本质上,它是如何获取DOM元素并将其包装在内部/与JavaScript对象关联.以此示例为例,您需要在Web应用中使用过滤器.您的页面如下所示:

<html>
<head></head>
<body>
    <div id="filter"></div>
</body>
</html>
Run Code Online (Sandbox Code Playgroud)

然后你就像这样包装元素:

var myFilter = new Filter({
    elem: document.getElementById('filter'),
    prop: 'stacks-test',
    someCallback: function() {
        // specify a callback
    }
});
Run Code Online (Sandbox Code Playgroud)

和JavaScript(其中spec是传递给构造函数的对象):

var Filter = function(spec) {
    this.elem = spec.elem;
    this.prop = spec.prop;
    this.callback = spec.someCallback;
    this.bindEvents();
};

Filter.prototype.bindEvents = function() {
    var self = this;
    $(this.elem).click(function(e) {
        self.updateFeed();
    };
};

Filter.prototype.updateFeed = function() {
    this.prop; // 'stacks-test'
    this.callback();
    // ...
    // code to interact with other JavaScript objects
    // who in turn, update …
Run Code Online (Sandbox Code Playgroud)

javascript constructor dom javascript-objects

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

Python:TypeError:只需要1个参数(给定2个)

我目前正在使用singpath.com练习我的python,但是我遇到了一个问题:

预期的结果是:

>>>CurryPuff(3) 
3.60 
>>>CurryPuff(3,'Fish') 
4.2
Run Code Online (Sandbox Code Playgroud)

这是我尝试过的:

def CurryPuff(x,typePuff):

   if(typePuff==''):

      return x*1.2

   if(typePuff=='Fish'):

      return x*1.4
Run Code Online (Sandbox Code Playgroud)

但它给了我这个错误:

TypeError: CurryPuff() takes exactly 2 arguments (1 given)
Run Code Online (Sandbox Code Playgroud)

我曾尝试谷歌搜索,但我不是很确定使用的关键词是什么,所以希望能从这里获得帮助.

谢谢.

python

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

MS Access嵌套子表单链接到主(父)表单

我正在忙于开发一个MS Access 2007应用程序,该应用程序需要使用具有相当复杂的用户界面的子表单.我知道如何创建父表单并链接到子表单,以便它显示与父表单记录相关的数据,但我的问题是:

如果我有多个嵌套子表单(比如3或4级),我可以以某种方式将位于第4级的子表单与第1级的父表单的记录链接起来吗?嵌套子表单的意思是将表单粘贴到表单中,粘贴到另一个表单中等.

我希望与父窗体链接的子窗体当前使用查询作为其源对象,使用嵌套子窗体的原因纯粹是为了用户界面的美观.

有一个简单的方法可以解决这个问题吗?或者也许使用VBA?

ms-access subforms

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

测试散列是否具有多个键中的任何一个

我想知道是否有更好的方法来测试散列是否有来自数组的任何键.我想用它这样的东西:

keys = %w[k1 k2 k5 k6]
none = true if hash.key?(keys)
Run Code Online (Sandbox Code Playgroud)

或者我将不得不循环这个?

ruby hash

22
推荐指数
2
解决办法
8756
查看次数

什么是console.log以及如何使用它?

可能重复:
什么是console.log?

我在很多jQuery脚本中都看到了这一行.我假设它用于调试.

我在哪里可以看到这个日志?

javascript

215
推荐指数
0
解决办法
45万
查看次数

使用OpenOffice Uno CLI和C#创建电子表格

到目前为止,我已经找到了几个讨论ODS文件创建的来源:如何在.Net中创建ODS文档以及 如何使用C#.NET创建.odt文件?

最有趣的是打开calc文件的解释.然而,这会在全屏幕中打开OpenOffice,我正在寻找的是一种写入Calc文件(.ods)而不实际打开Openoffice的方法.这样我就可以编写一个只打开savefiledialog的函数,获取文件名,然后创建并保存.ods文件.

是否有任何C#代码示例可用于执行此类操作?

c# openoffice.org uno

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