問題タブ [signature]

関数型プログラミング（OCaml）を学び始めましたが、fpに関する重要なトピックの1つである署名を理解していません（適切な名前かどうかはわかりません）。何かを入力して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 Explorer8とOpera10は、4行目から10行目の4番目のセルが2行目と3行目の2番目のセルの「後に開始」するという別の表示をします。

InternetExplorer8レンダリングのスクリーンショットhttp://www.team-logics.com/public/stackoverflow/2010-12-05-IE.png

私のcolspansとrowspansが同じように解釈されない理由は何ですか？どのブラウザが正しいですか？すべてがChromeのようにレンダリングされるようにコードを配置するにはどうすればよいですか？

私の実際のコード:(申し訳ありませんが、汚いコード、これは電子メールの署名を意味します）

次のコードがあります。

ただし、これは以前は機能していたというエラーが引き続き発生し"error":"Incorrect signature"、人々がオンラインで提案したソリューションを試したり、新しい資格情報を生成したりしましたが、このように1週間働いた後、もう機能しないようです.

ありがとう、

特性を考えるとT

次のクラスA

の有効なサブタイプではありませんT。の実装は、 type の要素のみを受け入れるのに対し、 の署名ではすべての実装が typeのオブジェクトだけでなく、 type のオブジェクトを受け入れることができる必要があるA.+ため、制限が厳しすぎます。これまでのところ、とても合理的です。AT.+TA

の実装を制限的にしたい場合は、次のようにandTの宣言を変更できます。TA

これは明らかに型シグネチャを爆破します。

Tの実装が独自の型のオブジェクトと互換性があるだけでよいことを宣言する別の方法はありますか?

1st EDIT以下のLandeiの回答への返信：

自己型は実際に現在の署名を短縮しますTが、発生する他の署名を短縮しません。

Python-OAuth2 以外に OAuth と Proxy をサポートする他の Python twitter モジュールを知っている人はいますか? 私にとっては壊れていて、「署名が正しくありません」というエラーが発生し始めたためです。

ありがとう、

private_method私のモジュールのいくつかには、2 つのメソッドで特定のクラス型を実装するグローバル クラス インスタンスが含まれていますpublic_method。

プログラム内MyModule.my_instance # public_methodのどこからでも利用できるようにしたいのですが、 .MyModule.my_instance # private_methodMyModule

私は次のことを試みました：

ただし、これによりエラーが発生します。

値が一致しません:

val my_instance : private_type

には含まれません

val my_instance : public_type

強制を手動で書くことができます：

しかし、このような単純なもののためにコード サイズを 2 倍にしたくはありません。

なぜこれが起こるのか、どうすれば回避できるのかについて何か提案はありますか?

itext の setField 関数を使用してフィールド値を pdf 形式に保存しますが、itext を使用すると、pdf 全体が破損し、Adobe Reader で pdf を編集できなくなります。ファイルが変更され、Adobe Reader の拡張機能が使用できないことが表示されます。

だから私は同じ仕事をすることができる別のライブラリを探しています。別の問題: ID カードで PDF に署名した後、itext ライブラリを使用して PDF を編集しようとすると、以前の署名がすべて無効になります。しかし、acrobat を使用してフィールドを編集すると、すべての署名のリビジョンが適切に保持されます。

上記のことを行うために使用できる同様のライブラリはありますか?

私のアプリでユーザーの署名をキャプチャしたいのですが、これは可能です。これをどのように進めるかについての提案を提供してください

よろしくのSaurabh