問題タブ [metalanguage]

ML (および SML などのそのバリアント) はどのようにメタ言語なのですか? ML が記述するオブジェクト言語は何ですか? 関数が値と見なされるため、コードはデータと同じように扱われますか?

これは少し奇妙な質問に思えるかもしれませんが、私は現在 DOM に取り組んでおり、その構造を理解しようとしています。DOM をより具体的に視覚化しようとすると、その構造を記述するために使用される言語の多くが少し混乱します。

プロパティとオブジェクトの関係を説明するために、前置詞「on」がよく使われるようです。たとえば、このフォーラムに寄せられた質問は、「Dom 要素がウィンドウ オブジェクトのプロパティとして存在する理由」です。回答者は、「...HTML5 では、要素がウィンドウ オブジェクトのプロパティとして直接公開される候補になることが指定されています...」と書いています。

これは私を悩ませます。なぜ「オン」なのですか？私はそんなにしつこく言うのは嫌いですが、「の」オブジェクトのプロパティではありませんか? または、オブジェクトの" in " で見つかりましたか? または、 「別のオブジェクトから」または「から」継承されましたか? プロパティ ' on ' がオブジェクトになるのはいつですか? したがって、私が気付いていない何かを説明するために前置詞「on」を使用することには、何らかの意味があるに違いありません。オブジェクトに「添付」されているプロパティまたはオブジェクトへの参照もありますが、これは同じことを意味していると思います。

私は SML 言語の学習者です。SML 言語の基本を学びましたが、SML で辞書を作成するコードを取得するのに苦労しています。だから、私はコードを知りたいです。

私の先生は最近、"let" と "in" を使用する ML の関数について調べましたが、関数の本体は、それらがどのように連携して結果を生成するのか理解できないため、私には混乱を招きます。この関数は、庭の野菜のリストを取得し、元の野菜を特定の代替品に置き換えます。そのため、元の要素が含まれるすべての場所でリストが代替品を出力します。これが関数です。

画像から機能コードへ

最後のパターン「replaceVegetable(orig, subst, x) = x;」については心配していませんが、主に 2 番目のパターンを理解することに関心があります。Garden(newRest) は関数のローカル変数であり、 replaceVegetable(orig, subst, Garden(rest)) が生成するものはすべてそのローカル変数に格納されることを理解していると思います。「in Garden((if first = orig then subst else first)::newRest)」で何が起こるか正確にはわかりません代用品は？もしそうなら、関数全体としてそれがどのように行われているかを正確に理解することはできません。