問題タブ [smlnj]

SMLNJ ユーザー ガイドを調べましたが、デバッグ機能について何も見つかりません。スタック トレースを確認したり、関数をステップ実行したりしたいです。これは可能ですか？この機能を提供するSMLの同様のバリアントの他の実装はありますか?

SML でコマンドが実行された後、コマンドから返されたデータと型を持つ "it" が返されます。例えば：

次のようなプログラムにバインディングがあるとしましょう。

「argsToOutput」の値とデータ型を（プログラムの途中で）「it」が出力される方法と同様の方法で出力する方法はありますか?

大学で ML を学ぶのがとても好きでした。関数型プログラミングは、特定のアルゴリズムを作成するための爽快でエレガントな方法であることがよくあります。F# について聞いたことがあり、少し遊んでみました。それでも、私は ML でいくつかの興味深い関数を作成しており、他のアプリケーションで使用できるライブラリとしてそれらを統合したいと考えています。

通常、関数を SMLnj インタープリターに貼り付けます。それらをコンパイルする方法はありますか？

標準 ML に相当する Java BigInt はありますか? 通常の int 型は、オーバーフローすると例外がスローされます。

たとえば、代わりに

私はむしろ持っていたい

で使用するため

明らかに、私は自分でこれを行うことができます、例えば、

しかし、私はもっとエレガントな方法を見逃していないことを確認したいと思います。

次のように、署名/構造のペアを構造内に配置したい:

ただし、最も単純な例でもエラーが発生します。

署名は構造内では許可されていないようです。この機能を実現する最善の方法は何ですか?

動的に型指定された入力パラメーターを使用して関数を作成することは可能ですか？パターンマッチングを試しましたが、どうやらこのようには動作しません。

私はこのようなことをしたいです：

ありがとうございました。

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

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

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

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

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