問題タブ [inference]

Hindley-Milnerという用語に出会いましたが、その意味を理解しているかどうかはわかりません。

次の投稿を読みました。

• Steve Yegge -動的言語の逆襲
• Steve Yegge -ピノキオ問題
• Daniel Spiewak - Hindley-Milner とは? （そして、なぜそれはクールなのですか？）

しかし、通常、簡潔な説明を提供してくれるウィキペディアには、この用語の単一のエントリはありません。
^{注- 1 つ追加されました}

それは何ですか？
それを実装または使用する言語とツールは何ですか?
簡潔な答えを教えてください。

「PHP」と入力すると「Web 開発」が提案され、「データ リカバリ」または「ソフトウェア インストール」と入力すると「情報技術」が提案される提案リストを作成したいと考えています。

このためのデータベース スキーマを作成できると確信していますが、どこからデータを取得すればよいでしょうか。この例のように、「PHP」を「Web 開発」に、「データ復旧」を「情報技術」にリンクすることを、システムはどのように学習するのでしょうか? これを手動で行いたくありません。

どうにかしてコミュニティの意見を活用できますか? last.fm を使用すると、サイトはユーザーが聴いたことのある特定のアーティスト (たとえば、最もよく聴いているアーティスト) を調べ、特定のアーティストも持っている場合、他のユーザーがライブラリに持っている最も一般的なアーティストを見つけます。彼らのライブラリにあり、最も関連性の高いアーティストを私に示唆しています。

今日の私の質問は非常に単純です。コンパイラは、関数パラメーターからできるのと同じように、クラス コンストラクターからテンプレート パラメーターを推論できないのはなぜですか? たとえば、次のコードが有効でない理由は次のとおりです。

私が言うように、これが有効でないことは理解しています。これを許可すると、重大な構文上の穴が作成されますか? この機能を必要としないインスタンスはありますか (型を推測すると問題が発生する場合)。私は、適切に構築されたクラスではなく、関数のテンプレート推論を許可する背後にあるロジックを理解しようとしています。

これはもっと公的な暴言だと思いますが、なぜc＃でIDのタイプを推測できないのですか？

次のように、IDとしてGuidを持つ定義済みのEntityObject：

次のように定義された抽象EntityObjectクラスから継承します。

getメソッドの使用法は次のようになります。

さらに明確にするために編集されました。

次のコードを機能させるのに問題があります。

エラーが表示されます。triggerEvent のタイプは、SendOrPostCallback ではなく 'a -> unit です。SendOrPostCallback の型は Object -> unit です。なぜ triggerEvent のタイプが Object -> unit ではなく 'a -> unit なのか疑問に思っています。state を Object として明示的に宣言しましたが、それでも 'a.

助言がありますか？ありがとうございました。

わかりました、なぜ私がこれについてそんなに混乱しているのか、皆さんはすぐに指摘できると思いますが、なぜ以下がコンパイラエラーまたは警告にならないのかについて質問があります:

selectedObjectは でありNSObject、nameたまたま@propertyタイプの の名前ですint。

私を困惑させているのは、コンパイラがの呼び出しでメッセージをチェーンするために、 の戻り結果が (型キャストせずに) 型で[ self.selectedObject valueForKey:name ]あると完全に仮定する理由です。NSNumber *integerValue

明らかに、KVC は非オブジェクトの「数値」型を にラップしますが、この特定のケースでが返されるNSNumberことをコンパイラが知る方法はありません。-valueForKey:NSNumber *

idこれにより、 「 ' ' に応答しない可能性があります」という行に沿ってコンパイラの警告が表示されないのはなぜ-integerValueですか?

だから私はレポートから知識を推測する方法について研究しています（特定の形式ではありません）が、前処理の後、何らかの形式のデータが必要です。

かなり基本的な推論は、「小売業者は X 株を持っている」です。および「X は販売可能」です。-> 「小売業者が X を販売する」私が焦点を当てている知識は小売分野向けであり、可能であれば反復ごとにその効率を改善する必要があります。

これはSFですか？私がオンラインで見つけた関連するものは、異常、ファジー推論システム、および「簡単な知識」についてのいくつかの暴言を見つける「エキスパートシステム」です。

いくつかの研究の方向性に焦点を当てたり方向付けたりするためのポイントを教えてもらえますか?

ブルーオメガ

私は GNU make を使用しています。ソース ファイルとオブジェクト ファイルを別のフォルダーに配置したいと考えています。

最初のステップとして、ソース ファイルをプロジェクト フォルダーのルートに置き、オブジェクト ファイルをサブフォルダー (たとえばDebug/) に置きます。

推論規則は次のようになります。

ただし、その場合、ルート フォルダーに .obj がないため、make は常にすべてのファイルを再構築します。

行にターゲットのフォルダーを含める方法はあります.ss.objか?

私も試しました：

そのように構築されたすべて$(SRC)のソースのリストとして：$(OBJS_WITH_PATH)

しかし、それはすべてのオブジェクト ファイルのすべてのソース ファイルへの依存関係を構築します。

私が望むのは、最初に書いた推論規則を変更して、Debug/*.objファイルを取得することです。それが今言っていることはですno rule to make target Debug/asdfasdf.obj。

コンパイラがそれ自体で型を設定できる関数テンプレートがある場合typename T、次のように関数を呼び出すときに型を明示的に記述する必要はありません。

しかし、次のような 2 つの異なる型名を持つ関数テンプレートがあるとします。

常に少なくとも 1 つの型名を指定する必要があるというのは本当ですか? その理由は、C++ が異なる戻り値の型間で関数を区別できないためだと思います。

しかし、void 関数を使用して参照を渡す場合も、戻り値の型名を明示的に指定してはなりません。

結論として、return を伴う関数を避け、voidテンプレートを作成するときに参照を介して戻る関数を優先する必要がありますか? または、戻り値の型を明示的に記述しないようにする可能性はありますか? テンプレートの「型推論」のようなもの。C++0xで「型推論」は可能ですか?

次のインターフェイス/クラスがあるとします。

次のようなものを書き込もうとすると、コンパイラが正しい型を推測できないのはなぜですか。

「型引数を推論できません」というメッセージが表示されます。これは一般的なジェネリック型推論の制限ですか、それともこれを機能させる方法はありますか?