lisp - 複合ブールテストに相当するClojure（またはLisp）

Question

C ++では、次のように記述します。

if (a == something && b == anotherthing)
{
   foo();
}

Clojureに相当するものは次のようなものだと思いますか？

(if (= a something)
    (if (= b anotherthing)
        (foo)))

または、私が見逃した論理的な「and」を実行する別の方法はありますか？私が言ったように、後者の形式は正しく機能しているようです-論理積を実行するためのより簡単な方法があるかどうか疑問に思っていました。そして、Clojure Google Groupで「boolean」、「logical」、「and」を検索すると、結果が多すぎてあまり使用できませんでした。

Answer 1

CommonLispとSchemeで

(and (= a something) (= b another) (foo))

Answer 2

Common Lisp では、以下も一般的なイディオムです。

(when (and (= a something) (= b another))
  (foo))

を使用して、これを Doug Currie の回答と比較してください(and ... (foo))。セマンティクスは同じですが、 の戻り値の型に応じて(foo)、ほとんどの Common Lisp プログラマーはどちらかを優先します。

• ブール値を返す(and ... (foo))場合に使用します。(foo)

• 任意の結果を返す(when (and ...) (foo))場合に使用します。(foo)

ルールを証明する例外は、プログラマーが両方のイディオムを知っているが、意図的に(and ... (foo))とにかく書くコードです。:-)

Answer 3

Clojure では、通常、次のようなものを使用します。

(if 
  (and (= a something) (= b anotherthing))
  (foo))

より簡潔にすることは明らかに可能ですが (Doug の回答など)、このアプローチは人々が読むのにより自然だと思います。特に、コードの将来の読者が C++ または Java のバックグラウンドを持っている場合は!

Answer 4

それは本当にクールです！(and x y)はマクロです -- clojure.org でソース コード(if x y false)を確認できます -- 展開すると、次のようになります。

if (x) {
  if (y) {
    ...
  }
} else {
  false
}

(or x y)似ていますが逆です。