問題タブ [ml]

「関数型プログラミング」のまったく新しいパラダイムがあり、手続き型プログラミングと比較して思考パターンを完全に変える必要があります。高階関数、純度、モナドなどを使用します。これは、命令型およびオブジェクト指向言語では通常見られません。

私の質問は、これらの言語の実装が、たとえばメモリ管理やポインタなどの内部構造に関して、命令型またはオブジェクト指向言語とどのように異なるかということです。

JVM上で実行される関数型言語があります。これは、これらの言語がJVM上の他の言語と同様に内部的に機能することを意味しますか？

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

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

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

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

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

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

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

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

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

私は自分でSMLを学び始めたばかりで、チュートリアルからの質問に行き詰まっています。私が持っているとしましょう：

ツリーデータ型

挿入機能

整数リスト

私の質問は、リスト内の各要素をループしてツリーに追加する関数を追加して作成するにはどうすればよいですか？

あなたの答えは本当にありがたいです。

私はモスクワMLをCGIと組み合わせて使用​​しています。簡単な算術を計算するサイトがあります。送信ボタンを押すと、計算結果を出力する実際のCGIファイルにサイトがリダイレクトされます。私の場合、実際に結果をhtmlで出力するのではなく、生の形式でhtmlコードを出力します。この問題の解決策を知っている人はいますか？//事前にthx

次の関数定義で、ML はどのように型推論を実行しますか。

テンプレートのインスタンス化の時点まで型チェックが実行されず、その後、型が必要な操作をサポートしている場合、関数が機能するか、コンパイルエラーがスローされる C++ テンプレートのようなものですか?

たとえば、次の関数テンプレート

のために働きます

しかし、うまくいきません

私が推測していることは正しいですか、それとも ML 型推論の動作が異なりますか?

PS: 拙い英語で申し訳ありません。それは私の母国語ではありません。

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

全て、

以下の関数の型式を ML で導出したいと考えています。

これで、同じように入力すると型式が生成されることがわかりました。しかし、私はこれらの値を手で導き出したいと思っています。

また、型式を導出する際の一般的な手順についても言及してください。