問題タブ [polyml]

ML に eval 関数はありますか?

Windows で Standard ML を実行する方法について、適切なドキュメントを探していました。誰もこれに関する良いガイドを持っていますか?

このガイドを使用して、cygwin で sml/nj をコンパイルしようとしました: http://www.smlnj.org/install/index.html

任意の提案をいただければ幸いです。

たとえば、a=bとb=cの場合にtrueを返し、Poly MLでこれらの等式のいずれも真でない場合にfalseを返す関数を定義したい場合、どのように記述しますか？複数の条件を同時に実行する方法がわかりません。

Poly ML で、x が 'a 型の場合に「true」を返し、そうでない場合に false を返す関数をどのように記述しますか?

Standard MLはUnicodeをサポートしていますか？

私はそれがそのようなことを述べているSMLのための権威ある文書を見つけられないが見つけることができないと信じています。

必要なのは「はい」または「いいえ」だけですが、事実を知っておく必要があります。推測しないか、答えを信じます。信頼できるリンクの方が良いでしょう。

Poly/ML でのヒープのサイズ変更に関する論文で、次の言葉について読みました。しかし、ヒープのサイズがどのように正確に変更されるのかわかりませんでしたか? 誰かがそれをより詳細に説明できますか？

すべての主要な GC (ガベージ コレクション) の最後に、adjustHeapSize() メソッドが呼び出されます。この方法では、ヒープ サイズが動的に変化するため、特定の量の空き領域が利用可能になります。つまり、成熟したスペースに GC の直後に 1 MB のライブ データが含まれていると仮定すると、adjustHeapSize() は成熟したスペースのサイズを K +1 MB に変更します。ここで、K は事前に計算された定数です。K は、gc.cpp の majorGCFree 静的変数の値であり、Poly/ML ランタイムが実行を開始するときに、成熟したスペースのサイズに設定されます。

各 GC 後に一定量の空き容量があることを理解しています。しかし、ヒープ サイズの次の計算値を取得するにはどうすればよいでしょうか。K とは何ですか? K はどのように計算されますか? なぜK + lに設定するのですか?

Poly/ML を使用して共有ライブラリを構築することは可能ですか? CPoly/ML ライブラリの API を作成し、さまざまなプログラミング言語 (Python など) から呼び出し/ロードできるようにしたいと考えています。誰かがそれをやろうとしましたか？これはOCamlで実行できることを知っています：

• Python プログラムから OCaml 関数を呼び出すにはどうすればよいですか?

polymlこれは Ubuntu に簡単にインストールできる ML の実装であることがわかりました (リポジトリでは polyml という名前で、 で実行できますpoly)。Andrew Cumming によるA Gentle Introduction to ML をフォローしています。インタプリタで数分間実験した後polyml、readline をサポートしていないことがわかりました(上矢印キーを押すと^[[Aが生成されます)。

これは通訳者にとっては普通のことではないようです。これは、readline がインストールされていない場合にのみ発生するはずですが、私の Python インタープリターはそのように動作しません。

それらが等しくない場合に比較してエラーメッセージを表示するテスト関数を実装しようとしています:

残念ながら、文字列以外のパラメーターで呼び出すと機能しません。

コンパイルできず、エラー メッセージは次のとおりです。

修正方法は？