問題タブ [ml]

この質問が以前に尋ねられたことは知っていますが、以前の質問の回答はどれもうまくいかなかったため、別のアプローチを試してみます.

私はこれをやった：

でも木を作ろうとすると

エラーが発生します。

mlの問題を解決しようとしていますが、少し行き詰まっています。これは些細なコードであることを許してください。

コード：

エラー：

私は ML を使用するクラスを受講しており、クロージャーについて調べていますが、特に ML についてはよくわかりません。授業中にメモを取りましたが、あまり意味がありません/十分な詳細が得られません。詳細については、オンラインで調べてみましたが、何も見つかりませんでした。

ML のクロージャー (または ML/クロージャー全般) に関する非常に優れたリソースを知っている人はいますか?

または、誰かが ML でクロージャを実装する方法や、ML でクロージャがどのように見えるか、クロージャとは何かなどについて、いくつかの一般的な考えや説明を投稿できれば、本当に感謝しています。クロージャーの概念/使用法を理解しようとしています。

前もって感謝します！

（（cdr abcd）= bcdを意味するML）の（cdr string）に等しいライブラリ関数を見つけようとします。Scheme

関数を書きました。たとえば、次の行があります (これは関数の一部にすぎません)。

Pr, Sym, St, Dt- はすべてデータ型です。dそしてc文字列です。

function を実行するupと、引数が ではなく([St("hello"),Dt,St("hi"),rp]),printになります。なんで？ありがとう。val it =Pr(Sym(#), Sym(#))val it = Pr(Sym("hello"), Sym("hi"))

デバッグのために、ヘルプ関数内にリストを印刷したいと思います。そして、何らかの理由でそれは何も印刷していません。誰かが何が悪いのか知っていますか？
これが私のコードの一部です：

私もこれを試しました：

印刷ではありません。私はちょうど答えを得る：

Compose 関数は理解できますが、ML のカリーとアンカリーがよくわかりません。誰でもこれらを説明できますか?

また、次の2行はどういう意味ですか?

私はMLが初めてです。

条件式を引数として取る関数を定義する必要があります。問題は、式が のように無効である場合"10 div 0 = 0"です。どうすればこれを処理できますか?

たとえば、関数は次のように定義されます。foo exp1 = if (exp1) then ... else...、およびexp1is "10 div 0 = 0"、この除算エラーの処理方法。

問題について助けを求めています。ML でリストと関数の両方を渡す関数を作成しようとしています。基本的に、プログラムが行うべきことは、リストを取得し、各要素を関数で実行することです。関数が true を返す場合、要素がリストに追加され、関数の実行が完了するとリストが返されます。これが私のコードです：

どんな助けでも大歓迎です。