問題タブ [cons]

これまでのところ、

caadr は 2 つの要素のリストに存在しないため、間違っていることはわかっています。しかし、リストの最後に記号を追加する方法がわかりません。

OCaml で、cons 演算子を単独で参照する方法はありますか?

たとえば、次の例に示すように、 (+)and( * )を関数として使用できますが、関数としてint -> int -> int使用することはできません。(::)'a -> 'a list -> 'a list

(::)以外のような結果を生成する方法はありfun x y -> x::yますか? (::)OCaml で実装されなかった理由を知っている人はいますか?

これを行うことで簡単な階乗関数を書くことができることを私は知っています:

ただし、これは番号を送信した場合にのみ機能します。リストまたはシンボルを送信するとエラーになります。だから私がやりたいのは、それがすべてで機能するようにすることです。リストの場合は、リスト内の個々の要素の階乗を行います。ここに私が持っているものがあります:

私はSchemeがあまり得意ではありませんが、基本を知る必要があります。リストを除いて、すべての入力は適切に機能します。

1

(listFact 'a)

'a

(listFact 4)

24

(listFact '(1 2 3))

短所: 2 番目の引数はリストでなければなりませんが、6 と 1 を受け取りました

最後にやりたいことは、次のように返すことです。

(リスト 1 2 6)

うまくいかない理由がわかりません。コードの構造全体を変更せずに (つまり、apply/map または複数の関数を使用しないでください)、誰かがこれを理解するのを手伝ってくれたら、大歓迎です。めちゃくちゃな行は、短所のある行だけだと思います。

ありがとう。

私は何をしているのか疑問に思って(cons? list-name)いました。list-name空でないリストではないことを確認するだけですか？の反対のようなもの(empty? list-name)ですか？もしそうなら、代わりにただ言っ(empty? list-name)てから言うほうがいいのではないですか？例えば：elsecons?

実際、私はクロージュア、特にシンボルを完全に理解しようとしています

私はそれtypeが関数であることを知っているので、その引数が最初に評価されるので、上記のコードがこのように機能する理由を完全に理解しています.流れるコードでは、マクロを使用して評価を遅らせることにしました

私はそれで大丈夫ですが、私が理解できないのはこれです：

'a の型が短所である理由

コンスが 2 つの数値を引数として取る多くのインスタンスを見てきました。ラボでコンスに引数として 2 つの数値を渡すように言われましたが、そうするたびに次のエラーが発生します。

次のようにすると、同じエラーが発生します。

私はSchemeが初めてで、なぜこれが起こっているのか理解できません。