smlnj

0熱

1答えて

を「警告非網羅的一致」、 fun addX (X, []) = [] | addX (X, y::ys) = (X + y :: addX(X, ys)); は完全に正常に動作しますが、私はこの方法でLIST2でリスト1を乗算しようとすると、それは「私を与えています警告：一致しないでください "、ここに私のコード： fun multList ([], []) = [] | multList

1熱

2答えて

MLのクイックソート

ケースの表現（クラスの次のセクションにあります）を使用せずに、私はクイックソートをやっていない理由を理解できません。それはどこかのループに入り、決して終わらない。 splitAtとappendは既に厳しくテストされていますが、ここではそれらのコードがあります。 fun append(xs, ys) = if null xs then ys else (hd xs) :: append(tl

4熱

1答えて

標準MLのフィボナッチオーバーフロー

私はいくつかの機能プログラミングを学んでいたことがありました。そうするためにMLを自分の車両として選ぶことに決めました。 MLを手に入れてからわずか数日しか経っていないかもしれませんし、多分いくつかの問題で約5-6時間を費やしてしまったかもしれません。とにかく、私の問題に。通常、言語を学ぶときには、構文と操作についての感触を得るためにいくつかのプロジェクトのユーラーの質問に行きます。だから私は階

1熱

3答えて

charリストをintリストに変換する際のリストの型指定

文字リストをintリストに変換する際に問題が発生しました。私の目標は、基本的に325などの数値をとり、[3,2,5]のリストを返すことです。私がこれまで行ってきたことは、数値を受け取り、それを文字列に変換して文字列に展開することです。私は、それぞれの文字をそれぞれのintに変換したい。 charリストをfn c => Char.ord（c）にマップすると、charリストは？.intリストになり、そ

2熱

1答えて

SML演算子とオペランドがfoldrで一致しない

私はリストの長さを取得する関数を書く必要がある代入に取り組んでいます。これは簡単な作業ですが、わからないことがあります。私の単純なコード val len = foldr (fn(_, y) => y + 1) 0 は警告この警告生成：型がダミーの型にインスタンス化されるための値の制限を一般化しませVARS（X1、X2を、...）これをREPLで実行しようとすると、次のようになります。

-1熱

1答えて

SMLでタプルのタプルにアクセスする方法は？

私はこれを持っています： val a =（（1,2）、（1,2,3）、5、（4,5,6））; は、私はいくつかの "X" を返し、このタプルにある機能を必要... 例：いくつかの "5" がタプルである： funMagic（5）。復帰する必要があります。ヘルプ！

1熱

2答えて

SMLのint - > int - > intと（int * int） - > intの違いは何ですか？

私はSMLで関数を定義する2つの方法があることに気付きました。アドイン機能を取る場合例えば、これらは2つの方法があります。：秒1のように、関数型を作成し val add = fn : int -> int -> int ：として fun add x y = x+y; fun add(x,y) = x+y; は、第一の方法は、関数型を作成します val add = fn : int *

0熱

1答えて

コマンドプロンプトのSML/NJエラー

Windowsインストーラパッケージ「smlnj-110.79」を使用してWindows 10にSML/NJをインストールし、this coursera video lectureの手順に従って、コマンドプロンプトを開き、smlにアクセスできるようになります。「sml」と入力する。しかし、 "sml"を返すと、 "smlが内部または外部のコマンド、実行可能なプログラムまたはバッチファイルとして認

1熱

1答えて

インデックスにリストを挿入する

SMLで「レジスタ」に値を挿入しようとしています。リスト（またはレジスタ）がそのインデックスで定義されていない場合は、そのインデックスまで0のリストを作成する必要があります。私は以下を試みたが、それを働かせることはできない。 fun storeInReg [] valIns idx = if idx = 0 then [valIns] else 0::sto