問題タブ [existential-operator]

CoffeeScript の存在演算子を使用して、未定義のオブジェクト プロパティを確認したいと考えています。ただし、少し問題が発生しました。

次のようなコード:

コンパイルすると:

これは私が見たい動作です。ただし、次のように、オブジェクトのプロパティに対して使用しようとすると:

私はそのようなものを得ます：

undefined に対するチェックのようには見えません。オブジェクトに対して使用する場合と同じ (1:1) 動作を実現する唯一の方法は、より大きなチェックを使用することでした。

問題は - 私は何か間違ったことをしていますか? または、コンパイルされたコードは、プロパティの存在を確認するのに十分なものですか (型変換による null チェック)?

Coffeescript は存在​​演算子を使用して、変数がいつ存在するかを判断します。coffeescript のドキュメントsomething?では、それがコンパイルされることを示していますがsomething !== undefined && something !== null、私のバージョンの coffeescript はこれをコンパイルするだけであることに気付いたsomething !== nullので、これがコードにどのように影響するかを確認するテストを書きました

にコンパイルされた

やや予想外のものを出力したNo taco!ので、私の質問は2つあります。なぜcoffeescriptは値が存在するかどうかをチェックしなくなりundefined、なぜこれで十分なのですか?

だから私はコーヒースクリプトで遊んでいて、この動作を得ました:

a?に変換されますtypeof a !== "undefined" && a !== null;- それは結構です

問題は、 に対して同じことを試みる場合ですa.foo?。今回はa.foo != null; 、私が得るのと同じ結果に変換されa[foo]ます。

a.fooaのようにnullまたは未定義ではないかどうかを確認する「高速な」方法はありますか?

「-829」値が関連付けられていないすべての診断を返す以下のクエリがあります。クエリは機能しますが、必要以上に難しくしたと思います。これを行うためのよりきちんとした方法はありますか？

存在量化の使用法を理解しようとしています。私が今知っていることは、このテクニックがsetof、findall、 で使用されていることbagofです。さらに、チュートリアルを見つけました。Vars^Goalただし、 Prolog で (存在量の定量化) をいつ、どのように行うかはわかりません。

Lここに例を示します。私の目標は、お互いを知っているが別の会社で働いている 2 人の従業員を見つけ、その結果を次のようにバインドすることName1-Name2です。

私の最初の本能は、クエリを使用することです

クエリは答えを見つけましたが、正しい形式にレンダリングしません。正しいものは次のとおりです。

どうすれば理解でき(C1,C2)^(employee(N1,C1),employee(N2,C2),C1\=C2,knows(N1,N2))ますか？また、そのコンセプトは何ですか？ありがとう。