問題タブ [forall]

DBLINK - @FMATLINK を使用して、さまざまなテーブルから宛先のリモート テーブル 'Audition_Detail' に巨大なレコードを挿入したいと考えています。一括収集を使用しましたが、エラーがスローされます。私もいくつかのリンクを通過しました：

データベース リンクを介した一括挿入の制限を克服する

PLS-00394: フェッチ文のINTOリストの値の数が正しくありません

コードは次のとおりです。

エラーレポート -

ORA-06550: 行 39、列 3:

PLS-00394: FETCH文のINTOリストの値の数が正しくありません

ORA-06550: 行 39、列 3:

PL/SQL: SQL文は無視されました

ORA-06550: 行 40、列 4:

PLS-00739: FORALL INSERT/UPDATE/DELETEはリモート表ではサポートされていません 06550. 00000 - "行%s、列%s:\n%s"

*原因: 通常、PL/SQL コンパイル エラーです。*アクション：

forallRuby や JavaScript などの手続き型言語または OO 言語で実装する方法を理解しようとしています。例（これはCoqです）：

これを行う私の試みは、このようなクラスを定義するだけです (call MainAxiom == ax)。

これにはあらゆる種類の間違いがあります。基本的に、「点p1とp2で作成するすべての公理について、線上にあるなどのプロパティを満たさなければならない..」と言っていますが、これは私がやりたいことではありません。実際の公理を定義するという数学的目標を達成したいと考えています。

Ruby や JavaScript などの言語でこれを実現する方法を知りたいのですが、それが直接可能でない場合は、可能な限り近いものを作成してください。それが単なる DSL やデータを定義するオブジェクトであっても、代わりの方法を知っておくと役に立ちます。

最初に気になったのは、attr :p1and attr の定義がすべてのインスタンスに適用されるように見えるということです。つまり、forallについて何かを言っているように見えますが、特定することはできません。

たぶん、これにもっと近いものがあります：

forall手続き型/オブジェクト指向言語の定義に半分でも近いものが欲しいだけです。

私はこのようなクラスを書きたいです:

ここで、cはによって制限される型でCあり、この制限は func2 で使用されます。しかし、これはコンパイラではありません。型cは実数型ではありません。を追加forallまたは使用しようとしましTypeFamiliesたが、誰もこれを行うことができません。TypeFamilies良さそうに見えますが、C c => b -> c`type X x :: C * => *.

(A b, C c) => B b cこのクラスを定義するために使用する必要がありますか? B like を使用する別のクラスがありB b => D d bます。クラス B のパラメーターを追加する場合、D クラスにももう 1 つのパラメーターが必要です。実際、Seq aは classDで使用されますが、これは と一致しませんD d b。

編集：もう1つの説明。

コンパイラは次の行に文句を言いますa2f :: b -> Bool：

EDIT2: 型ファミリーを使用する

次のエラーが表示されます。