smlnj

    2

    1答えて

    私はこれらの2つの機能を実装する必要があるsmlプロジェクトに取り組んでいますrem & modカスタムデータ型です。 私は残余の定義を知っていますremです。 配当=除数*商+余り MODの定義は何ですか? これらの違いを簡単な言葉で説明してください。

    0

    1答えて

    私はリストと値を持っています。これらの要素の合計がその値を超えないようにするには、リストの要素を新しいリストに挿入するにはどうしたらいいですか? 質問は、上記の新しいリストと新しいリストの要素のない初期リストを返す方法ですか? たとえば、私はリスト[13,8,7,6,4,2,2,1]と値21を持っています。だから、そのリストの要素を新しいリストに挿入したいのですが、それらの合計はless than

    1

    1答えて

    [13,7,8,4]と数字Nのようなリストがあります。そのリストの最後に "N mod ListSize"の数で要素(いくつかのゼロ)を挿入したいとします。 N = 6とし、リストに従って、ListSizeは4です。したがって、6 mod 4 = 2であり、次にこのように2ゼロを挿入する必要があります。[13,7,8,4,0,0] SMLの関数でこれを行うにはどうすればよいですか?

    2

    1答えて

    私は書くことができるようにのは、パターンFoo|Barのエイリアスを作成する方法はあります私は datatype mytype = Foo | Bar | Baz を、以下のデータ型を持っているし、次の fun myfun ((Foo|Bar), (Foo|Bar)) = something | myfun (Baz, _) = somethingelse | ... のような関数を書

    0

    2答えて

    関数の各呼び出しでリストを更新する必要があるとします。リストの前の要素が保持されるようにします。 local val all_list = []; in fun insert (x:int) : string = int2string (list_len((([email protected][x])))) end; は私が呼ぶたびに挿入することで問題は、私はリストを再

    2

    1答えて

    を使用して、私は、例外を処理するための機能を書いたが、私はプログラムを実行すると、私はこのエラーを取得する:ここで operatii.ml:12: error: Type error in function application. Function: = : ''a * ''a -> bool Argument: (r2, 0.0) : real * real Re

    2

    1答えて

    1.0 = 2.0はなぜ機能しませんか? 本物は同等型ではありませんか? それはエラーを与える: Error: operator and operand don't agree [equality type required] operator domain: ''Z * ''Z operand: real * real in expression: 1

    0

    1答えて

    私はEmacsを使って約4行のsmlで単純な関数を書いています。関数を呼び出すときに/バッファ内で評価するときには3ドットで末尾 val it = [1,2,2,2,2,2,2,2,2,2,2,2,...] : int list 最終的にどのような点がありますか?私のコードはドットを印刷しません。これはEmacsかsmlか?何かヒントをお願いします。 はまた、私は [1,2,2,2,2,2,2

    1

    1答えて

    私は「正方形」を持つ「リストのリスト」構造で作業したいsml-njプロジェクトを持っています。リストのリストに再帰的に値を挿入しようとしていますが、要素を2dリストに挿入する方法はまだ分かりません。 注 - これらの機能は、「REF」、「http://smlfamily.org/Basis/list.html#SIG:LIST.app:VAL」のみ使用できません。 datatype SquareC

    2

    1答えて

    をインタリーブ双方向無限と有限シーケンスIは、データ型や関数の次の宣言をしている: datatype direction = Back | Forward datatype 'a bseq = bNil | bCons of 'a * (direction -> 'a bseq) fun bHead (bCons (x, _)) = x | bHead bNil = raise E