Hyperspec からの次のステートメントがそのようになっている論理的な理由はありますか? 「list-1 と list-2 の間に重複がある場合、重複するインスタンスの 1 つだけが結果に含まれます。list-1 または list-2 のいずれかに重複するエントリがある場合、冗長なエントリが表示される場合と表示されない場合があります。結果で。」
これを読むまで、union は一意のリストを返すべきだと思っていましたが、コードがそうしなかった理由に不満を感じていました。リスト内ではなくリスト間の重複を削除するのも奇妙に思えます。なぜこれを指定するのですか？
ユニオンがセットの要素の一意のリストを生成すると想定できるように思われるか、何か不足していますか?
Hyperspec の完全なページについては、http: //clhs.lisp.se/Body/f_unionc.htm を参照してください。