問題タブ [polyml]

課題は、二分探索木から要素を削除する関数を ML でコーディングすることです。コードは次のとおりです。

これを Poly/ML にロードすると、deleteTop での不完全なパターン マッチングが警告されますが、delete は deleteTop のみをブランチに渡すため、それは問題ではありません。

(string * int) ツリーを作成して実行しました

これらの行の 1 つを繰り返します。

ML が 'a を int と統合できないのはなぜですか?

emacs 内で sml コードをプログラムできるようにしようとしています。Windows に emacs 24.3 をインストールし、Poly/ML バージョン 5.5.1 もインストールしました。これを機能させる方法はありませんか？

次のように SML-MODE をインストールしてみました: http://alleystoughton.us/sml/sml-emacs.html しかし、私の site-lisp ディレクトリには subdirs.el しかないようです...

Mx sml-mode を emacs で書いてみましたが、コードを含むファイルは .sml で終わります

構文の強調表示がなく、Mx global-font-lock-mode と sml-poly-ml の両方を試しましたが、うまくいかなかったので、Poly/ML が emacs にインストールされていませんか? Windows で emacs を使用して poly を動作させるにはどうすればよいですか?

emacs 24 に sml-mode をインストールしました。Poly/ML を使用して emacs でコードを直接コンパイルしたいのですが、どうすればよいですか? Poly/ML をインストールし、インタプリタを起動するために sml-poly-ml と入力しましたが、一致しません。Windowsとubuntuの両方でテストしました。何をすべきか？

更新: https://groups.google.com/forum/#!msg/comp.emacs/jlOX_aP6j40/afuuUlVemWUJ または http://www.cs.cmu.edu/~fp/ course/98-linear/lib/emacs/sml-poly-ml.el は動作しますか? 読もうとしていますが、完全には理解できません。(autoload 'sml-poly-ml "sml-poly-ml" "Set up and run Poly/ML." t) を .emacs.d に入れるべきだと思いますか? emacs lispファイルとは? sml-poly-ml.el が必要なようですが、それが sml-mode に標準で含まれているかどうかわかりませんか? それから私は立ち往生しています...

Python についてこの質問を見たことがありますが、SML (PolyMl) についても同じ質問があります。

(int, string)タプルのリストから最小のタプルの文字列値を抽出する関数を作成したいと思いますint。

たとえば、次のリストがあるとします。

'c'最小整数がタプルにあるため、出力は になります('c', 1)。ありがとう！

これまで、すべてのソース コード ファイルがすべて同じディレクトリにあるいくつかの小さなプロジェクトで Poly/ML を使用してきました。これらのプロジェクトをビルドするには、REPL で次のコマンドを実行するだけで済みました。

しかし、現在、規模が大きく、すべてのソース コード ファイルを同じディレクトリに配置することが現実的ではないプロジェクトがあります。これらのプロジェクトを REPL でビルドするには、次のコマンドを実行する必要があります。

サブシステムの数が増えるにつれて、これはあまり実用的ではありません。

Poly/ML でネストされたディレクトリ構造を持つプロジェクトを構築するプロセスを自動化する方法はありますか?

PD: SML/NJ の Compilation Manager と MLton の ML Basis システムの両方を見てきました。間違いなく強力ですが、これらは私のニーズには複雑すぎます。

SML ソース ファイルを指定して、(Poly/ML を使用して) 関数/値名のリストが定義されているかどうかを確認することは可能ですか? もしそうなら、どのように？

または、次のことができることに気付きました。という名前の検査対象のソース ファイルがあるとしますsomefile.sml。test.sml次の内容のファイルを作成するとします。

そして、次を実行します。

残念ながら、これは「静的エラー」のみを出力します。「test.sml」のどの関数が定義されていないかを (コードで) 判断する、上記と同様の方法はありますか?

SML (Poly/ML を使用) で小文字のギリシャ語イプシロンを出力するにはどうすればよいですか?

私は次のことを試しました：

これは単に不可能ですか？確かに、実際に文字をレンダリングするのは端末の仕事なので、生の文字コードを stdout に出力することは可能でしょうか?

次のプログラムでは、 がジェネリック型valStr.value のサブタイプを想定していることがわかります。しかし、私がそれをタイプで調べると、 として示されています。に特化したインタプリタで見る方法はありますか？pairtpolytpolytpair

これは私が実行したときに得られるものですpoly:

それを生成するために使用されるコードは次のとおりです。