問題タブ [ml]

わかりました。少し前に、Lisp (または smalltalk だったかもしれません) のリファクタリング ブラウザについて読みました。これは、リファクタリングを支援するツールでした。誰かが F# 用の無料のものを知っているかどうか疑問に思っていましたか? (関数型言語はそのようなことには「いい」はずです)

コードを実行すると、ノードを属性とともにコピーするのではなく、すべてのノード属性がコピーされます

たとえば、Microsoft Word ML の入力:-

コードを実行すると、出力は次のようになります

コピーされないいくつかの欠落した属性があります。欠落している場合、Microsoft Word でファイルを開くことができません。

誰かが私を助けて、私のコードの何が問題なのかを指摘できれば. または、この問題を解決するために何をすべきか。私のコードは次のとおりです

コピー属性テンプレート機能に問題があると思います。

シーケンス（有限または無限）を受け取り、同じシーケンスを返す関数をコーディングする必要がありますが、シーケンス中に例外が発生した場合、関数はシーケンスを最初に戻すという唯一の違いがあります。
言い換えると、関数は、終了時に繰り返される循環シーケンスを返す必要があります。ハンドルで例外をキャッチする必要があります。
次の例は機能する必要があります。

• listToSeq [1,2];
  val it = Cons（1、fn）：int seq
• restartOnError it;
  val it = Cons（1、fn）：int seq
• それを尾行します。
  val it = Cons（2、fn）：int seq
• それを尾行します。
  val it = Cons（1、fn）：int seq
• それを尾行します。
  val it = Cons（2、fn）：int seq

誰かが私を助けることができますか？

私はこのコードを持っています：

treesum次のような別のデータ型がある場合、どうすれば同じ手順を実行できますか？

私は地図を使わなければならないと思います...私はこれを試しますが、3つのエラーがあります

私はMLを初めて使用し、特別な事前定義されたデータ型を受け取り、そのコンポーネントではなく、引数のデータ型全体を参照できる関数を持っています。

これは愚かな例です：

1）指定されたフレームを返したい。別のものを作成する必要がありFrameますか？

2）指定されたフレームを別の関数に渡したいのですが、新しいものFrame(variables, values)を再度提供する必要がありますか？

私はこのような何かを書くことができたらいいのにと思います：

そうすれば、フレームまたはそのコンポーネントを使用できるようになります。

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

私はこのデータ型を持っています

そしてこの手順

このデータ型を展開する方法と evl 手順:

-val addsub = evl( A( X(1),X(2),X(3), S( X(4),X(5) ) )) ; addsub(4,5,2,9,8) return it = 12 (4+5+2+(9-8))

P = +、S = -、M = *、D = / X(5) だけでなく、X(n) も必要です...?

この ML コードを F# に変換したいと思います。

私はこれを試しました

そしてこれ

しかし、どちらもエラーが発生しますtake.fs(7,5): error FS0010: Unexpected keyword 'val' in binding。F# コードの何が問題になっていますか?

私は初心者です。以下のコードを書きます。

遅延評価コードです。
しかし、いくつかのエラーがあります。

lazy.sml：1.13エラー：構文エラー：LPARENの挿入
lazy.sml：4.2エラー：構文エラー：LETの挿入
lazy.sml：12.44エラー：構文エラー：SEMICOLONのEQUALOPへの置き換え
lazy.sml：15.21エラー：構文エラー：LPARENの挿入
lazy.sml：17.1エラー：EOFで構文エラーが見つかりました

これらのエラーはどういう意味ですか？

これはおそらくばかげた質問だと思いますが...

お互いの値を知る必要のないlet一連のステートメントを連鎖させている場合は、使用する方が良いですか？andin

たとえば、次のいずれが望ましいか。

また

私の直感では、前者は必要最小限のスコープを作成するため、前者は「より良い」（「より良い」の非常に小さな定義による）である必要がありますが、後者はスコープ内のスコープです。コンパイラ/インタプリタが注意を払うスコープですが、最終的には重要ではなく、不必要に深くなります。

私は SML の学習を始めたばかりで、まだそのエラー メッセージを理解する過程にあります。

以下の関数定義を入力しようとすると

次のエラーが表示されます。

誰かが私が間違っていることを指摘できますか?

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