smlnj

2熱

1答えて

さて、私はシーケンスの次の定義を持っている： datatype 'a seq = Nil | Cons of 'a * (unit-> 'a seq); 私は次の関数を実装する必要があります。 filterq_n:('a -> bool) -> int -> 'a seq -> 'a seq 関数は、真または偽、n（整数）およびシーケンスを返す述語関数を取得します。機能：もしN <

3熱

2答えて

SMLモードを使用しているときにEmacsでSMLバッファをクリアする方法。

私はEmacsをSMLモードで使用しています。 SMLバッファをきれいにする必要がある場合もあります。どうやってやるの。

2熱

1答えて

標準ml値の制限エラー

こんにちは私はなぜこのコードで値の制限エラーが発生しているのか、また可能ならば解決できる方法を理解するのに役立つ必要があります。特にval cnilでは、署名と一致する空のCLIST構造を作成しようとしていますが、この値の制限エラーが続きます。ここで任意のヘルプ structure Clist : CLIST = struct open CML datatype 'a r

0熱

1答えて

構図

私はいくつかの関数NTimesComposition（F：* int型（int型 - > int型）、N：int型）書く必要が Fと整数Nと fはの構図を行った後、いくつかの機能を受け取ります、n回このようなf（x、f（x、y））））< - （ここではn = 3の場合）私はsmlnjに書き始めましたが、私はどんな考えを事前に感謝を考えた： NTimesComposition(f:(int * in

0熱

1答えて

入出力操作 - ML

私はMLを学習しています。 MLで基本的な入出力機能を手伝ってもらえますか？私はちょうどコンソールから入力を読み込み、それを変数に格納してMLプログラムで使用したいと思っています。助けてください。あなたがこれのためのいくつかの例に向かって私を指すことができる場合も、それは素晴らしい素晴らしいだろう！ありがとうございます。

2熱

1答えて

リストを反復処理するにはどうすればよいですか？

私はSMLで基本的なリスト操作をしようとしています。リストの各要素を抽出し、その要素に文字列を追加してリストに追加したいとします。例： List : [A,B,C,D] String : A Final List: [AA,AB,AC,AD] がどのように私はSMLで、リスト内の各要素を反復処理することができますか？ ^を使用して文字列を追加し、@を使用してリストを連結できますが、リス

2熱

1答えて

網羅的なパターン

私はMLを学んでいます、誰かが網羅的なパターンを意味するものを説明してもらえますか？

24熱

1答えて

MLの警告

誰かが説明してください、この警告はどういう意味ですか？ stdIn:18.35 Warning: calling polyEqual 、なぜ私が「「Aを持っていない次のステートメントで： val alreadyVisited = fn : ''a * ''a list -> bool これは機能：事前に fun alreadyVisited(v, []) = false | al

3熱

1答えて

smlでレイジーなサスペンド

私はいくつかのノートを通過していたと私は何かが間違っていることに気づいた。遅延計算をエミュレートする場合（open Lazy;なし）は、1のストリームに対して以下を実行できます。 datatype 'a susp = Susp of (unit -> 'a) datatype 'a stream' = Cons of 'a * ('a stream') susp type 'a strea

6熱

1答えて

SMLリスト平等奇数判定は

私はこのコードのビットがあります。型シグネチャ (''a * ''a -> ''a) * ''a list -> ''a で fun foldr2(f, x::xs) = if xs = [] then x else f(x, foldr2(f, xs)) はかなり単純明快に見えますが、それは平等タイプ上で動作機能とリストを取り比較としてxs =