問題タブ [sml]

SML/NJ インタラクティブ システムの使用に問題があります。つまり、矢印キーを使用しようとすると (入力した式を修正するために左または右に、最後の式を繰り返すまで)、私のターミナルはコードを出力します。(例えば^[[A、上向き^[[D左向きなど)。システムはまだ使用できますが、非常に面倒です。

Control.Compiler を調べてみましたが、足りないものはありますか? なんにせよ、私は Mac ターミナルを使用しています。

ありがとうございます^_^

現在、私のコードは次のようになっています。

mapiは、int int-> int int * int->image->unit型の関数です。基本的に、提供された画像で動作します。

関数はvalvoid=..で見苦しく見えます

どうすればそれを排除できますか？

mosmlcを使用してMLプログラムを実行可能バイナリにコンパイルしたいと思います。しかし、私はそれを行う方法について多くの情報を見つけることができませんでした。

コンパイルしたいコードはこちらhttp://people.pwf.cam.ac.uk/bt288/tick6s.sml

cx、cy、s、imgLocationは、コマンドライン引数から取得したい4つの引数です。たとえば、プログラムが名前でコンパイルされている場合mandelbrot、inputbash$mandelbrot -0.5 0.15 0.0099 image.pngはmain関数を実行する必要があります。

私は SML/NJ の方言で ML を学んでいます。私が把握しようとしているのは、行コメント演算子があるかどうかです。ブロック コメント演算子 (* ... *) を見つけましたが、行コメントが本当に恋しいです。

提案？それとも、ブロック コメントに固執しているだけですか?

MLでコードを書く必要があり、この言語を使用するのは初めてです。Standard MLの開発環境はありますか？（できればWindowsの下で）。グーグル（およびstackOverFlowing！）を試しましたが、見つかったのはLinux用のプレーンコンパイラ（多くてもインタラクティブコンソールを使用）だけでしたが、IDEもEclipse/NetBeansプラグインもありませんでした。助言がありますか ？

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

楽しい 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 の計算に必要なことがわかっているので、これらをコードに入れました。
誰にも解決策がありますか？

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

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

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

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

次のデータ型として定義されたペアノ番号に関する関数を作成する必要があります。

私が実装しなければならない関数は、peano パラメータの連続する peano 番号を見つけますP(p)。これは私が書いたものです：

問題は、次のエラーが発生することです。

何が間違っているのかわかりません。助けてください！