問題タブ [ml]

intまたはrealのいずれかであるタイプnumberのデータ型を作成し、タイプ「number」の2つの数値を加算する関数を作成する必要があります。問題があるのは、そのようなを定義する構文にあります。構文、私は以下を試しましたが、どれもうまくいかないようです。私が書いたコードは次のとおりです。次のコードは、関数がnを型番号として認識することを確認するために次のように記述されています。

しかし、どれも機能していないようです。私が書いている構文は正しいですか、それとも間違っていますか？ありがとう

私が書くデータ型番号は次のとおりです。

標準 ML で新しいデータ型の関数を作成したいのですが、データ型は intnest と呼ばれ、次のように定義されます。

intlist のすべての整数を追加する関数を作成したいので、次のコードを試しました。

私は何を間違っていますか？

編集：

私も次のことを試しました：

x は INT 型であるため、最初のオプションはその int 値を返し、addup(xs) は同じ 2 番目のオプションを返すための再帰呼び出しです。

次のことも試しました：

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

ツリーが完全であるかどうかをチェックする関数を標準mlで作成したいのですが、関数はどういうわけか機能しますが、間違ったタイプと非網羅的なケースの警告が表示されます

ツリーコード：

上記の関数のタイプは次のとおりです''a tree -> boolが、必要なタイプは次のとおりです。'a tree -> bool

私が持っている警告は次のとおりです。

私が抱えている問題は何ですか？

編集：

Michaelのおかげで、コードを修正し、機能するようになりました。

リストと関数を取り、それから BST を作成する関数標準 ml を作成したいと考えています。関数の型は:'a list -> ('a * 'a -> bool) -> 'a treeですが、いくつか問題があります。私が書いたコードは次のとおりです。

この関数で取得しているタイプは次のとおりです'a list -> ('b * 'c -> bool) -> 'd tree。それを呼び出そうとすると、次のようmakeBST [4, 3, 6, 7, 8, 2, 0, 1] (op <);に次のエラーが発生します。

コードの何が問題になっていますか? ありがとう

編集：

私のコードの2番目のバージョン:

このコードは私が望む型を生成しましたが、それは正しいですか?

分数の単純な抽象データ型を作成していますが、コンストラクターを機能させることさえできません。SML 構文で非常に迷っています。

これは、実装しているコンストラクターを示す .sig ファイルです。これが私がこれまでに持っているものです。私が受け取ったエラーは、int*int-> Fraction が必要なときに int*int* -> int を実行しているということです。私はそれが言っていることとすべてを知っていますが、私はそれを実現することはできません.

インタープリターを使用して標準 ML を学習しています。Linuxシェルのように、タイプミスをして前のコマンドを繰り返したい場合があります。ただし、上矢印は画面に特殊文字を出力することになります。何かを修正するために左に戻りたい場合があります。左矢印でも特殊文字が出力されます。

それらを行う正しい方法を知っている人はいますか？

値が 0 または 1 のブール値機能があり、現在、ContinuousValueEncoder を使用してベクターにエンコードしています。これは正しいですか？そうでない場合、代わりに何を使用すればよいですか?

ありがとう

Windows で Standard ML を実行する方法について、適切なドキュメントを探していました。誰もこれに関する良いガイドを持っていますか?

このガイドを使用して、cygwin で sml/nj をコンパイルしようとしました: http://www.smlnj.org/install/index.html

任意の提案をいただければ幸いです。

場合によっては、バイナリツリーやフォレスト、または他の代数的タイプのデータ項目のセットを格納する必要があります。それは何らかの方法で行われる可能性があります。また、SQLのみを使用して、このデータに対していくつかの変換（たとえば、バイナリツリーのリバランス）を実行すると便利です。

型とそれらの間の純粋関数を（MLのような言語またはHaskellのような言語で）宣言し、SQLにコンパイルする方法に興味があります。うまくいけば、hedge_unionなどの標準アルゴリズムのコードを再利用できるようになります。存在しますか？たぶん、このコンパイラはすでに実装されているか（ただし、グーグルできません）、SQLなどでコードを抽出できるCoqのライブラリが存在します。