問題タブ [smlnj]

こんにちは皆さん、私はこのコードのスニペットを持っています:

関数 f と整数 n を受け取り、[f1、f2、... fn] などの関数のリストを生成するプログラムを作成する必要があります <- fn は関数 n 回の構成ですが、エラーを受け取るたびに:

ネストされたローカル宣言が間違っているようです。誰かが理由を説明してもらえますか?

ML を使用していくつかの関数を記述する必要があります。この関数は、有向グラフ [(1,2),(1,3),(3,2)] のエッジのリストを受け取ります。これは、1から2への有向エッジを意味し、 1 から 3 まで...、そして 2 つの頂点も受け取ります。最初の頂点から 2 番目の頂点までのすべての可能な方法と、可能なパスのリストを見つける必要があります。たとえば、頂点1, 2の場合、リストを表示する必要があります [[ 1,2]、[1,3,2]]、頂点に関するデータを保存できない場合、どうすればMLを実行できますか。アイデアを事前に感謝します。

誰か説明してもらえますか、この警告はどういう意味ですか？

また、次のステートメントに「a」が含まれているのはなぜですか。

これは私の機能です：

私はこのビットのコードを持っています:

型シグネチャ付き

xs = []かなり単純に見えますが、比較のために、等値型と等値型のリストを引数として機能する関数を取ります。ただし、何らかの理由で(op +, [2.3, 2.7, 4.0])、SML/NJ 実数が等値型でない場合、 などの入力で機能します。この魔法が発生する理由を明らかにするのを手伝ってくれる人はいますか?

ML で新しいデータ型を定義するにはどうすればよいですか。newList を想定して、要素 'a (int、real など) のリスト、ネストされたリストで構成できるようにします。たとえば、私の型 'a が int の場合、値は: [1]、[1,[4]]、[1,[5]、[[5]]] など。

EDITED 申し訳ありませんが、例に 1 がありません。int のリストが異なります。削除しました

みなさん、こんにちは私は、リスト内の任意の深さから int を展開できる関数を作成しようとしています。たとえば、次の場合にbigList: [12, [34], [11,[1]]]受信したい

タプルの最初の要素は深さで、2 番目の要素は私がこのコードを書いた数です:

次のエラーが表示されるたびに：

助けてくれてありがとう

私はMLのコードのこのスニペットを持っています：

それは私にエラーを与えます：

しかし、私がそれを変更its (n, l) to (n, l:int)するとき、そしていつ(n, l:'a)、誰かがポリモーフィック型が機能しない理由を説明できますか、事前に感謝します

皆さん、私は ML で例外がどのように機能するかを理解しようとしていますが、奇妙なエラーが発生し、何が問題なのかわかりません:

何が間違っている可能性がありますか？助けてくれてありがとう。

可能性のあるすべての例外をMLでキャッチすることは可能ですか? たとえば、どのような例外があるかわからない場合

リストを「ネスト解除」する関数を作成する必要があります。

例: 入力 [7,[[8]],[[5,[9]]],6] -> 出力 (1,7),(3,8),(3,5),(4,9) ,(1,6)

機能はあるのですが、型の問題で使えません。

関数

例

エラー

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