問題タブ [smlnj]

基本的に、次のような多相関数を返す関数が必要です。

楽しい foo () = fn x => x

したがって、foo 関数は unit 型の値を受け取り、ポリモーフィック恒等関数を返します。コンパイラはこれに満足しています。次のようになります。

val foo = fn : unit -> 'a -> 'a

しかし、実際に foo 関数を呼び出すと、戻り値は期待したものではありません

val it = fn : ?.X1 -> ?.X2

それが言う値の制限のために一般化することはできません、何か助けはありますか? 前もって感謝します

ML (SLMNJ) でファイルを読み取り、いくつかの構造に保存する必要があります。グラフ宣言を指すデータを読み取る必要があります。

(最初の番号: ノードの名前、2 番目の番号: 接続されたノードの名前、3 番目の番号 このたてがみの重み (各 () は 1 つのたてがみを示します) )

たとえば、これはファイルの読み取り方法とそれを保存する構造のテスト入力です

標準 ML で SCC アルゴリズムを記述する必要があります。しかし、方法がわかりません。
コードで使用する必要がある次のタイプがあります。

上記のコードは正しくコンパイルされ、実行されています。
SCC dfs の計算に必要なことがわかっているので、これらをコードに入れました。
誰にも解決策がありますか？

ファイルから読み取りたいのですが、inputAll または inputLine を使用すると、各行から 70 文字しか読み取れません。制限なしでファイルから読み取るにはどうすればよいですか?

重複の可能性:
ファイルを ML(SMLNJ) で開く

次のような値を持つ文字列値があります。

しかし、これらの値を次のように int 型にしたい:

どうすればいいですか?私を助けることができる機能はありますか? または私は自分でそれをしなければなりませんか？

私は以下の機能を持っています、そしてそれは働きます：

しかし、これは機能しません：

誰か教えてもらえますか？または、それを機能させるためのヒントを教えてください。

ここからsmlインタープリターをインストールしました：http://www.smlnj.org/、Windows用の自己解凍.EXEを使用しました。（私はwindows7 64ビットを実行しています）

基本的なデータ型に対する単純な操作は機能していますが、配列/ベクトルに対する操作 (更新、配列コンストラクターなど) を認識していません。それを機能させるには、何か他のものもインストールする必要がありますか?

構文の理解に問題があるかもしれません。長さ10の配列を宣言し、0に初期化してから各値に1を追加するサンプルコードを誰かが提供できますか?

ヌーブアラート

ありがとう

関数の実行中にユーザー入力を求めるにはどうすればよいですか？

これを行う：

エラーが発生しますが、0.0を変更するとエラーはなくなります。しかし、私は0.0に一致する必要があり、それを達成できるかどうか、そしてどのように達成できるのか疑問に思っています。

int*int を返すプログラムがあります

(説明のための例): fun program(a,b) = (1,2)

私は線に沿って何かをしたい:

fun program(a,b)
if a = 0 then (1,2)
else
val x,y = program(a-1,b)
return (x-1, y)

基本的には、返されたタプルを操作してから、その変更を返したいと考えています。

ありがとう