问题标签 [signature]

我开始学习函数式编程（OCaml），但我不了解有关 fp 的一个重要主题：签名（我不确定它是否是正确的名称）。当我输入一些东西并用 ocaml 编译时，我得到例如：

这是微不足道的，但我不知道，为什么会这样：

给出一个输出：

我想，对于你们中的许多人来说，这个主题绝对是 fp 的基础知识，但我在这里寻求帮助，因为我在互联网上没有找到任何关于 OCaml 中签名的内容（有一些关于 Haskell 中的签名的文章，但没有解释）。

如果这个话题能以某种方式继续存在，我在这里发布了几个函数，这些签名让我感到困惑：

感谢您的帮助和解释。

我需要查看谁签署了我已安装到我设备上的应用程序。这通常可以在设备上还是在 PC 上进行？

以下2种方法签名有什么区别：

这个 HTML 表格被一些浏览器误解了，我不明白为什么：

Chrome 和 Outlook显示我期望的渲染，其中第 2 行和第 3 行的第 2 个单元格通过第 4 到第 10 行的第 4 个单元格。

Chrome 渲染截图 http://www.team-logics.com/public/stackoverflow/2010-12-05-Chrome.png

Internet Explorer 8 和 Opera 10显示的内容有所不同，第 4 行到第 10 行的第 4 个单元格“开始于”第 2 行和第 3 行的第 2 个单元格。

Internet Explorer 8 渲染截图 http://www.team-logics.com/public/stackoverflow/2010-12-05-IE.png

任何猜测为什么我的 colspans et rowspans 没有以同样的方式解释？哪些浏览器是正确的？如何安排我的代码，使它们都像 Chrome 一样呈现？

我的实际代码：（对不起，脏代码，这是一个电子邮件签名）

我有以下代码：

但是，我继续收到"error":"Incorrect signature"之前工作的错误，我尝试了人们在网上建议的解决方案，生成了新的凭据等，但在这样的工作一周后，它似乎不再工作了。

谢谢，

给定一个特征T

下面的课A

不是 的有效子类型T。的实现A.+过于严格，因为它只接受 type 的元素，A而 的签名T.+要求所有实现都能够接受 type 的对象，T而不仅仅是 type 的对象A。到目前为止，很合理。

如果我想让 的实现具有T限制性，我可以修改 和 的声明，T如下A所示

这显然会破坏类型签名。

有没有另一种方法来声明的实现T只需要与它们自己类型的对象兼容？

第一次编辑回复Landei的回答如下：

虽然自我类型确实缩短了当前签名，但它们不会缩短T出现的其他签名，例如

有谁知道除了 Python-OAuth2 之外还有其他支持 OAuth 和代理的 Python twitter 模块吗？因为它对我来说已经坏了并且已经开始给我“不正确的签名”错误。

谢谢，

我的几个模块包含全局类实例，它们使用两种方法实现给定的类类型，private_method并且public_method.

我希望MyModule.my_instance # public_method在我的程序中的任何地方都可以使用，并且MyModule.my_instance # private_method只能在MyModule.

我尝试了以下方法：

但是，这会导致错误：

值不匹配：

val my_instance : private_type

不包括在

val my_instance : public_type

我可以手动编写强制：

但我宁愿不要将这样简单的代码大小加倍。

您对为什么会发生这种情况以及我如何解决它有什么建议吗？

我使用 itext 的 setField 函数将字段值保存为 pdf 格式，但我发现使用 itext 后，整个 pdf 将损坏，您无法再在 adobe reader 中编辑 pdf。它会告诉您文件已更改并且无法使用 adobe reader 中的扩展功能。

所以我正在寻找另一个可以做同样工作的图书馆。另一个问题：在我用身份证签署pdf后，如果我尝试使用itext库编辑pdf，它将使之前的所有签名无效。但如果我使用 acrobat 编辑字段，则所有签名修订都保存完好。

有没有类似的库可以用来做上述事情？

我想在我的应用程序中捕获用户的签名是否可能，请提供您的建议我将如何继续

关注的Saurabh