問題タブ [smlnj]

ml関数を作成し、出力で= Mary（ "a"、[Zary＃、Zary＃]）​​を取得しています。ここで、MaryとZaryはコンストラクターです。しかし、ご覧のとおり、出力には「＃」が含まれています。val Mary（ "a"、x）=out;を実行する場合 次に、x = [Zary（ "b"）、Zary（ "c"）];を表示しています。そうです。

ハッシュではなく完全な出力を取得したい。親切に私を助けてください。

SMLに任意の署名を実装したい。その署名の用語のデータ型を定義するにはどうすればよいですか？用語が整形式であるかどうかをチェックする関数を作成する必要があります。

いくつかのメモを調べていて、何かがおかしいことに気づきました。

遅延計算を ( なしで) エミュレートする場合open Lazy;、1 のストリームに対して次のことができます。

しかし、サスペンド テールを取得するには、タイプが一致しません。

ltail の適切なタイプのために何を変更する必要がありますか? 尻尾が吊り下げられていないとどうなるか知っています。中断されたバージョンのメモが何を言っていたかを知りたいだけです。

私はWindowsマシンでSMLを使用したことがありません（以前はemacsを搭載したUNIXマシンで使用していました）。

私の人生では、sml環境にいるときに現在のディレクトリを見つけることができません。「filename.sml」を使用しようとすると、例外が発生します。ファイルを配置する場所がわかりません。

btwファイルはnotepad++で記述されており、単に.sml拡張子が付いた名前が付けられています。

これは絶対に私を夢中にさせています。私が想像できる最も単純なことだと思いますが、私にはそれができません。

int を入力して実数を出力する階乗を計算したいだけです。

私はいろいろな方法で強制しようとしました。

ここから x86 用の DMG を使用して SML NJ 実装をダウンロードしてインストールしました: http://smlnj.cs.uchicago.edu/dist/working/110.72/index.html

しかし、ターミナル ウィンドウを開いて /usr/local/smlnj-110.72/bin に移動し、sml を実行すると、bash コマンドが見つかりません。私は UNIX にあまり詳しくないので、何か間違ったことをしていると思います。

助けてくれてありがとう！

タプルのランダムなメンバーにアクセスしたいのです#nが、変数に設定する方法がわかりません。

これが私のコードです：

これは、私が通常アクセスする方法です。たとえば、メンバー #2:

私の質問は#2、上記の例でどのように変数に設定するのですか??

事前にどうもありがとうございました！！

ツリーを取得してリストを返す関数を SML で実装する方法。このリストは、ツリーのポストオーダー スキャンによるツリー ノードの値で構成されます。

ツリーdatatypeは次のとおりです。

しばらく SML を使っていなかったので、次のコード行に出くわしました。

これは、「メモリ」を、文字列を受け取り、int を返す関数、またはまったく別のものとして定義しますか? 同様の宣言を検索しましたが、見つからないか、それが何をするのかわかりません。

これを SML/NJ に入れると、次のようになります。

シーケンス（有限または無限）を受け取り、同じシーケンスを返す関数をコーディングする必要がありますが、シーケンス中に例外が発生した場合、関数はシーケンスを最初に戻すという唯一の違いがあります。
言い換えると、関数は、終了時に繰り返される循環シーケンスを返す必要があります。ハンドルで例外をキャッチする必要があります。
次の例は機能する必要があります。

• listToSeq [1,2];
  val it = Cons（1、fn）：int seq
• restartOnError it;
  val it = Cons（1、fn）：int seq
• それを尾行します。
  val it = Cons（2、fn）：int seq
• それを尾行します。
  val it = Cons（1、fn）：int seq
• それを尾行します。
  val it = Cons（2、fn）：int seq

誰かが私を助けることができますか？